perm filename FILES[LET,JMC]44 blob sn#635459 filedate 1981-12-23 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00047 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00004 00002	Scientific Papers and drafts-SCI
C00008 00003	LISP functions-LISP
C00013 00004	FOL axioms, proofs and papers -AXIOMS
C00019 00005	Not used
C00020 00006	LISP book -BOOK
C00024 00007	Articles -ART
C00031 00008	Quasar and other fakery -QUASAR
C00033 00009	CSD affairs -CSD
C00035 00010	Environment, etc. -ENV
C00037 00011	Proposals -PROPOS
C00041 00012	mtc -MTC
C00043 00013	AI and philosophy study	-AIPHIL
C00044 00014	Reviews -REVIEW
C00048 00015	CS206 -CS206
C00050 00016	Research notes -RESEAR
C00060 00017	S1 -S1
C00061 00018	Miscellaneous -MISC
C00067 00019	Political action - ACTION
C00068 00020	Slides for lectures -SLIDES
C00069 00021	Essays in Science and Technology -ESS
C00079 00022	CS226 -CS226
C00080 00023	DRAFTS -DRAFTS
C00081 00024	Other people's papers -OTHERS
C00082 00025	nuclear -NUCLEA
C00083 00026	News stories -NS
C00086 00027	AI Lab	-LAB
C00087 00028	Problem solving -PROBLE
C00088 00029	For deletion -del
C00089 00030	Research problems for students -TOPIC
C00090 00031	Patterns -pat
C00092 00032	Space -space
C00093 00033	unused
C00094 00034	References, bibliographies and lists of files -REF
C00095 00035	Epistemology -epist
C00097 00036	w79 files
C00100 00037	Spring 79 files
C00104 00038	e79 files
C00106 00039	Fall 79 files
C00109 00040	W80 files
C00115 00041	Spring 1980 files
C00119 00042	Summer 1980 files
C00124 00043	AIPHIL.SNG[LIT,JMC]		WHAT NO VOLUME OF PROCEEDINGS?
C00128 00044	Fall 1980 files
C00134 00045	Winter 1981 files
C00139 00046	accomp[s81,jmc]		JMC accomplishments for 1981 ARPA proposal
C00141 00047	Summer 1981 files
C00146 ENDMK
C⊗;
Scientific Papers and drafts-SCI

KNOW[E78,JMC]		FORMALIZATION OF TWO PUZZLES INVOLVING KNOWLEDGE
CATALA[E78,JMC]		Catalan numbers from S = A + S x S
MODAL[S78,JMC] 30-Jun-78	EXPRESSION OF MODALITY IN FIRST ORDER LOGIC

LISP[F77,JMC] 11-Jun-78		HISTORY OF LISP
REF[F77,JMC] 04-Feb-78		References for lisp history
LISP.CDR[F77,JMC] 04-Feb-78	Hewitt on LISP history
ABSTRA[S78,JMC] 25-Apr-78	Abstract AI Memo with Sato et. al ??
MUSK[W78,JMC] 23-Jan-78		Addresses in Georgian Academy
COMMON[W78,jMC] 03-May-78	TOWARDS A SCIENCE OF COMMON SENSE
LISP.NOT[W78,JMC] 05-Mar-78	Answers to questionnaire on LISP history
CIRCUM[W78,JMC] 30-Jan-78	CIRCUMSCRIPTION INDUCTION draft early version
				- A WAY OF JUMPING TO CONCLUSIONS
FIRST.REV[W78,JMC] 20-Jan-78	Start on revision of Rec. Prog
				in 1st order logic
ADVENT[E77,JMC] 22-Jun-77	Notes on the improvement of the "Adventure Game".
IJCAI.C[E77,JMC] 02-Jul-78	1977 IJCAI paper
COUNTE[E77,JMC] 28-Jun-77	EXPLAINING COUNTERFACTUALS WITH CARTESIAN PRODUCTS
DOGMIN[E77,JMC] 29-Oct-77	THE MINDS OF DOGS
MINIMA[S77,JMC] 11-Jul-78	CIRCUMSCRIPTION INDUCTION 
				- A WAY OF JUMPING TO CONCLUSIONS
SATO[W77,JMC] 24-Feb-77		Introduction to paper with Sato, et. al.
CONDIT[W77,JMC] 28-Mar-77	CONDITIONAL EXPRESSIONS - for American
				Mathematical monthly
IJCAI.2[W77,JMC] 09-Apr-77	Early draft of IJCAI 77
MENTAL[F76,JMC] 05-Dec-77	ASCRIBING MENTAL QUALITIES TO MACHINES
CONCEP[E76,JMC] 01-Sep-77	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS
				AND PROPOSITIONS
APPLIC[E76,JMC] 20-Aug-76	APPLICATIONS TO ARTIFICIAL INTELLIGENCE (of concepts)
STATE[E76,JMC] 14-Jul-76	Propositions with quantifiers
TRULY[E76,JMC] 19-Sep-76	TRULY INVARIANT ASSERTIONS
SAMEFR[F76,JMC] 21-Jan-77	SIGART article about samefringe
MRHUG[S76,JMC] 13-Dec-76	AN EXAMPLE FOR NATURAL LANGUAGE UNDERSTANDING
KNOW.ART[F75,JMC] 18-Sep-77	AN AXIOMATIZATION OF KNOWLEDGE
				AND THE EXAMPLE OF THE WISE MAN PUZZLE
FIRST[F75,JMC] 25-Dec-75	FIRST ORDER LOGIC AND SET THEORY
				IN ARTIFICIAL INTELLIGENCE
RELATI.POX[CUR,JMC] 25-Sep-75	Relativistic Systems of Automata
PHIL[ESS,JMC] 23-May-75		McCarthy and Hayes with slight mods
RECUR.ART[ESS,JMC] 23-May-75	RECURSION - for Encyclopedia of Computer Science
ELEPHA[s80,JMC] 14-FEB-80	1980 revision of Elephant paper
LISP functions-LISP

patter[e80,jmc] 31-aug-80	Many versions of inst
LISP.LOR[S79,JMC] 22-Jun-79	Notes on the use of Maclisp
TFLAT.LSP[E78,JMC]	iterative trace function corresponding to flat[x,u]
SORT.LSP[W78,JMC] 08-Jan-78	LISP functions for sorting
CANTOR.LSP[W78,JMC] 29-Jan-78	Cantor ordering on ordinals less than ε0
EVAL2.LSP[W78,JMC] 29-Mar-78	Another eval
EVAL3.LSP[W78,JMC] 09-Mar-78	Yet another eval
INVERT.LSP[W78,JMC] 22-Mar-78	Inversion of LISP expressions
INVER2.LSP[W78,JMC] 19-Mar-78	Inversion of LISP expressions
NEWSUB.LSP[W78,JMC] 29-Mar-78	SUBLIS treating quantifiers specially
LAMBDA.LSP[W78,JMC] 29-Mar-78	LISP in λ-calculus
LIBRAR.LSP[W78,JMC] 30-Mar-78	LISP functions using generators of new states
PATTER.LSP[F77,JMC] 20-Nov-77	INST and SOLS
FLAT.LSP[F77,JMC] 13-Dec-77	Intensional functions related to flat
EVAL.LSP[F77,JMC] 13-Dec-77	Hewitt's eval
NORMAL.LSP[F77,JMC] 29-Dec-77	random lisp function
2P.LSP[W77,JMC] 24-Jan-77	Fredkin program for next larger prime
NEXSUB.LSP[F76,JMC] 05-Oct-76	inscrutable ILISP
READ.LSP[F76,JMC] 19-Sep-76	Read and Print functions - ILISP
MATCH.LSP[F76,JMC] 08-Nov-76	INST followed by assignments to vars in pattern
INST2.LBK[F76,JMC] 08-Nov-76	Commutative and associate versions of INST
INST2.LSP[F76,JMC] 08-Nov-76	commutative and associative versions of INST
RULE.LSP[F76,JMC] 08-Nov-76	sample rules for TRANSFORM
INST2.MLS[F76,JMC] 02-Dec-76	Commutative and associative INST
INST2.BB[F76,JMC] 07-Dec-76	commutative and associative
SAME.LSP[F76,JMC] 06-Feb-77	samefringe
INST2.PUB[F76,JMC] 07-Dec-76	Commutative and associative
SAME.PUB[F76,JMC] 13-Dec-76	samefringe
SAMEF[F76,JMC] 13-Dec-76	samefringe
SAME.FR[F76,JMC] 10-Dec-76	Someon's improved version
RESIDU.LSP[F76,JMC] 20-Jan-77	efficient version samefringe
RESIDU.PUB[F76,JMC] 16-Dec-76	
COMMON.LSP[F76,JMC] 16-Dec-76	Eliminates common subexpressions
HARRIN.LSP[F76,JMC] 23-Dec-76	Harrington's common subexpression eliminator
INST3.LSP[F76,JMC] 27-Dec-76	INST with alists (plural)
INST4.LSP[F76,JMC] 27-Dec-76	instval and instvar
SOLVE.LSP[F76,JMC] 27-Dec-76	just a start on problem solver
LISP2[W76,JMC] 20-Jan-76	LISP 2 SPECIFICATIONS
FIXUP2[F75,JMC] 28-Nov-75	Unknown LISP functions
FIXUP.LBK[F75,JMC] 20-Nov-75	LISP functions
FIX[F75,JMC] 20-Nov-75	LISP functions
FIXUP2.LBK[F75,JMC] 25-Nov-75	More functions
FIXUP[F75,JMC] 26-Nov-75	functions
reval.lsp[e80,jmc] 10-sep-80	commented maclisp Italian eval and friends
SPREAD[ESS,JMC] 17-Nov-75	A lisp function
TFLAT.LSP[E78,JMC] 11-Jul-78	Does a trace of flat[x,u]
TAK.LSP[E78,JMC] 01-Oct-78	The Takeuchi function and friends
COUNT.LSP[F78,JMC]	call-by-name calls counter
NEEDEV.LSP[F78,JMC]	call-by-need eval
PAT.LSP[F78,JMC]	obscure
QTAK.LSP[F78,JMC]	version of Takeuchi funtion
TAK.LSP[F78,JMC]	yet another qtak
TAK2.LSP[F78,JMC]	Takeuchi function
FOL axioms, proofs and papers -AXIOMS

KNOWLE.AX[E78,JMC]	start on knowledge axioms with learning and K(person,
proposition,time)
CALIBA.AX[E78,JMC]	Caliban's will
SANDP2.AX[S78,JMC] 03-Jul-78	Axioms for Mr. S and Mr. P
SANDP.AX[S78,JMC] 26-Jun-78	Axioms for Mr. S and Mr. P
WISE3.AX[S78,JMC] 26-Jun-78	Axioms for 3 wiseman problem
WISE3.PRF[S78,JMC] 24-Jun-78	Proof of 3 wiseman problem
UNFAIT.AX[S78,JMC] 30-Jun-78	start on axiomatizing unfaithful wives
BLOCKS.AX[W78,JMC] 17-Jan-78	Axiomatization of world of 3 blocks
BLOCK2.AX[W78,JMC] 24-Jan-78	Axioms for 4 blocks
MOVOLD.AX[W78,JMC] 01-Feb-78	Axioms for moving
BLIROB.AX[W78,JMC] 09-Feb-78	More blind robot
MOVE.AX[W78,JMC] 09-Feb-78	More move axioms
ZF.AX[W78,JMC] 17-Mar-78	Axioms for Zermelo-Frankel
BLIOLD.AX[W78,JMC] 01-Feb-78	Blind robot axioms
INTEGE.AX[W78,JMC] 01-Feb-78	Axioms for integers
CORKY.AX[W77,JMC] 12-Jan-77	LISP axioms
COMPIL.AX[W77,JMC] 20-Jan-77	Axioms for McCarthy-Painter compiler
CORKY.PRF[W77,JMC] 11-Jan-77	Replacing CAR by car in append
LISP.AX[W77,JMC] 11-Jan-77	Lisp axioms
FUNDEF.AX[W77,JMC] 05-Feb-77	Function defs with CONS
CORKY2.AX[W77,JMC] 12-Jan-77	CAR and car
FLAT.PRF[W77,JMC] 13-Jan-77	Termination of flat
NEWFOL[W77,JMC] 13-Jan-77	Proposal for new FOL joint with IMSSS
CORKY2.PRF[W77,JMC] 12-Jan-77	Termination of append
LISP2.AX[W77,JMC] 06-Feb-77	LISP axioms
LISP3.AX[W77,JMC] 24-Jan-77	More LISP axioms
INTEGE.AX[W77,JMC] 13-Jan-77	integers
PRED.PRF[W77,JMC] 25-Jan-77	Proof that predecessor is total
INTEG2.AX[W77,JMC] 25-Jan-77	integer axioms
LISP4.AX[W77,JMC] 06-Feb-77	Somebody's (Richard's?) LISP axioms
				expressions.  Hurrah for abstract syntax
PUBTES[F76,JMC] 27-Oct-76	Test of macro for constructing conditional
LISP.AX[F76,JMC] 23-Nov-76	Total functions only
KNO.AX[E76,JMC] 03-Aug-76	Axioms with concepts
KNOJOE.AX[E76,JMC] 25-Jul-76	axioms with concepts
KNOW3.AX[E76,JMC] 03-Aug-76	Concepts with assignments and arithmetic
KNO1.PRF[E76,JMC] 28-Jul-76	A person comes to know what he is told.
KNOW.AX[E76,JMC] 27-Jul-76	with concepts, wants and future
KNO2.AX[E76,JMC] 30-Jul-76	Knowledge with wants and likes
LIST.AX[F76,JMC] 26-Nov-76	Axioms for append and reverse assuming totality
APPNIL.PRF[F76,JMC] 25-Nov-76	u*NIL=u assuming totality
CONCEP.AX[S76,JMC] 03-Jun-76	NOtes for knowledge, can, causality axioms
KNOW.AX[S76,JMC] 05-Jun-76	Propositions are true in situations
EXTENS.AX[S76,JMC] 15-Jun-76	Extensional forms
CONCE2.AX[S76,JMC] 27-Jun-76	Axioms for concepts
TELLJO.AX[S76,JMC] 29-Jun-76	Joe does what he thinks will achieve his goals
CHECKE.AX[W76,JMC] 31-Jan-76	Axioms for mutilated checker board
HEAVY.SET[W76,JMC] 26-Jan-76	Notes on Heavy Duty Set Theory
HEAVY.AX[W76,JMC] 28-Jan-76	Heavy duty set theory
UNIT.PRF[W76,JMC] 22-Jan-76	The unit set is a set
Z2.AX[W76,JMC] 24-Jan-76	Axioms for integers
BLOCKS.AX[W76,JMC] 13-Feb-76	Old blocks axioms
HEAVY.THE[W76,JMC] 31-Jan-76	Theorems in heavy duty set theory
TAUT.PRF[F75,JMC] 13-Dec-75	Even fools know tautologies
KNOW.AX[F75,JMC] 15-Dec-75	General knowledge axioms
KNOW.AX2[F75,JMC] 29-Dec-75	Kripkean knowledge axioms
REV1.PRF[F78,JMC]	proof of properties of rev1
REVDIS.PRF[F78,JMC]	distributivity of rev1
TAK2.AX[F78,JMC]	axioms for Takeuchi function
TAK2.PRF[F78,JMC]	memo with proof of Takeuchi function
TAKEUC.AX[F78,JMC]	axioms for Takeuchi function
TAKEUC.PRF[F78,JMC]	proof of correctness of Takeuchi function
Not used

LISP book -BOOK

files[boo,jmc]			pub files for the book - formerly in Carolyn's
				areas
THEORY.NEW[W78,JMC] 21-Apr-78	New draft of theory chapter of LISP book
INTRO[W78,JMC] 20-Mar-78	Introduction for LISP book
INTRO2[W78,JMC] 20-Mar-78	Another draft of LISP book introduction
prefac[206,jmc] 06-Sep-80	Another draft of introduction
FIRST.QUE[W78,JMC] 17-Jan-78	Notes for Rec. Prog. in 1st order logic
IMPURE[F77,JMC] 15-Nov-77	IMPURE PROGRAMS AND UNCLEAN PROGRAMS
IMPLEM.LIS[F77,JMC] 08-Nov-77	Chapter on implementation of LISP
MCPAIN[F77,JMC] 23-Nov-77	Correctness of a Compiler for Arithmetic Expressions
ABSTRA[F77,JMC] 19-Nov-77	Abstract Syntax and the Correctness
				of a Compiler for Arithmetic Expressions
LISP.2[F77,JMC] 11-Nov-77	Additional chapters and sections to LISP book.
HARD.LSP[F77,JMC] 15-Dec-77	SOME DIFFICULT LISP PROBLEMS
MICRO[F77,JMC] 10-Mar-78	A MICRO-MANUAL FOR LISP - NOT THE WHOLE TRUTH
ABSTRA[W78,JMC] 20-Mar-78	ABSTRACT SYNTAX
MICROM[E77,JMC] 01-Jul-77	MICRO-MANUAL FOR LISP - MOSTLY TRUTHFUL%1
INFORM[E77,JMC] 05-Sep-77	Informal example of proof of program
APPEND[E77,JMC] 09-Sep-77	Putting FOL proofs in appendix
THEORY[S77,JMC] 10-May-77	Old draft of chapter 3
SAMEFR[S77,JMC] 02-Jun-77	%3correctness OF %2samefringe%1
PROGRA[F76,JMC] 29-Sep-76	.ss Numerical computation
CH1N2[E76,JMC] 10-Sep-76	Draft of chapter I
REPRES.ALT[E76,JMC] 10-Sep-76	Representation of LISP functions as lists.
PROGRA[E76,JMC] 26-Sep-76	Numerical and sequential programming
TRANS1.BB[F76,JMC] 03-Nov-76
SAME.VAR[F76,JMC] 09-Dec-76	Blackboard version of same
GAME.BB[F76,JMC] 03-Nov-76
TRANS2.BB[F76,JMC] 04-Nov-76
INST.BB[F76,JMC] 04-Nov-76
SEXP[F75,JMC] 05-Oct-75	Writing LISP programs as S-expressions
QUINE[S76,JMC] 26-Apr-76	Given termination tester,give counterexample.
ORDINA[E78,JMC] 29-Jul-78	Induction on rank and the transfinite ordinal numbers
ORDER.PRB[W79,JMC] 01-Jan-79	Programs and proofs about ordinals less than ε0.
BOOK[F78,JMC]			Goedel numbers for book
Articles -ART

ARTIFI.2[W78,JMC] 07-May-78	Collier's Encyclopedia article on AI
ARTIFI.3[W78,JMC] 09-May-78	Another draft of Collier's article on AI
ARTIFI[W78,JMC] 02-Apr-78	ARTIFICIAL INTELLIGENCE - for Collier's Enc.
HAUGEL.NOT[W78,JMC] 25-Jan-78	Notes on Haugeland paper
HAUGEL[W78,JMC] 03-Feb-78	Comments on John Haugeland's
CHROMA[W78,JMC] 28-Jan-78	ARCHAEOLOGICAL CHROMATOGRAPHY
REPLY[F77,JMC] 14-Oct-77	MAKING AN EFFECTIVE RIGHT OF REPLY
UNEMPL[F77,JMC] 08-Nov-77	Notes on unemployment
AFRICA[F77,JMC] 05-Nov-77	TOWARDS MEDIATION IN SOUTH AFRICA
ESCAPE[F77,JMC] 05-Nov-77	ESCAPING THE WELFARE STATE
PSYCHO[F77,JMC] 12-Nov-77	PSYCHOLOGICAL PHENOMENA IN POLITICS
IRRATI.ESS[S78,JMC] 27-Jun-78	TOWARDS A LOGICAL THEORY OF HUMAN IRRATIONALITY
COMPOL[S78,JMC] 19-May-78	COMPUTER AIDS TO IMPROVING POLITICS
POLITI[S78,JMC] 02-May-78	THE SEVEN LEVELS OF POLITICAL PARTICIPATION
ETHICS[S78,JMC] 24-May-78	POLITICAL ENTHUSIASM AND ENGINEERING ETHICS
CRASH[S78,JMC] 12-Jul-78	PROPOSAL FOR A STUDY OF A NATIONAL CRASH PROGRAM IN ENERGY
SOCIAL[W78,JMC] 12-Feb-78	Some notes on conservative view of social change
PROLIF[W78,JMC] 01-Apr-78	THE PRESENT DANGER OF NUCLEAR WAR
INDUST[W78,JMC] 06-Feb-78	Gloom about the post-industrial society
DEATH[E77,JMC] 02-Jul-77	THE DEATH PENALTY AND THE CONSTITUTION
POLITI[E77,JMC] 03-Sep-77	ENERGY AND POLITICS
CIRCUM[E77,JMC] 07-Oct-77	Circumstances, not personality determine behavior
SECESS[E77,JMC] 30-Jul-77	Could we secede from anti-technology
JUSTIC[E77,JMC] 05-Aug-77	Justice as right to emigrate
				Consequences of population stability
PREDAT[E77,JMC] 09-Aug-77	A PREDATORY CULTURE?
INTELL[S77,JMC] 16-Jun-77	NOTES ON INTELLIGENCE IN THE UNIVERSE
CARTER[W77,JMC] 02-Feb-77	A DEPRESSING SPEECH
BREEDE[W77,JMC] 15-Feb-77	The breeder and ideology - a bare start
WHATIF[W77,JMC] 17-Mar-77	ESCAPING THE COLLAPSE OF AMERICAN SOCIETY
HUMANI[F76,JMC] 26-Oct-76	COMPUTERS AND THE HUMANIZATION OF BUSINESS
HAPPIN[F76,JMC] 18-Oct-76	HAPPINESS IS A DUBIOUS CONCEPT
ESCAPE[E76,JMC] 19-Sep-76	ESCAPE FROM THE EARTH
REVOLU[E76,JMC] 21-Sep-76	THE REAL COMPUTER REVOLUTION
AFRICA[F76,JMC] 02-Dec-76	ON PREVENTING NUCLEAR WAR IN AFRICA
WOMEN[F76,JMC] 22-Dec-76	WOMEN IN SCIENCE, MATHEMATICS AND ENGINEERING
SFWA[S76,JMC] 14-Apr-76		Fine talk, but unfortunately not given that way.
COMMUN[S76,JMC] 27-Apr-76	WILL WEST EUROPEAN COMMUNISM BECOME STALINIST
TENURE[S76,JMC] 30-Apr-76	Justification of tenure system
OPTIM[F75,JMC] 20-Sep-75	THE SCIENTIFIC BASIS FOR TECHNOLOGICAL OPTIMISM
AAAS[W76,JMC] 20-Feb-76	The real computer revolution hasn't happened.
COMMUN[W76,JMC] 13-Feb-76	WHY THE COMMUNISTS CAN'T KEEP DEMOCRACY
				EVEN IF THEY SINCERELY THINK THEY WILL
KOREA[W76,JMC] 05-Apr-76	KOREA'S AMERICAN POLICY
HOTER.ESS[W76,JMC] 09-May-76	THE HOME INFORMATION TERMINAL
RESOUR[W76,JMC] 12-Mar-76	Importance of low grade ores
FREEDO[W76,JMC] 28-Mar-76	THREATS TO FREEDOM OF SCIENTIFIC INQUIRY
DEPEND[W76,JMC] 18-Aug-76	ENDING DEPENDENCE ON AMERICA
SUN.OUT[W76,JMC] 26-Feb-76	WHAT IF THE SUN WENT OUT
IJCAI.DOC[F75,JMC] 27-Oct-75	Requests for comments on IJCAI report
CPDUST[CUR,JMC] 02-Jan-75	COMMITTEE FOR PROMOTION AND DEFENSE
				OF USEFUL SCIENCE AND TECHNOLOGY
IDEOLO.ART[CUR,JMC] 18-Dec-74	ENERGY AND IDEOLOGY
SOCIAL.DEF[CUR,JMC] 04-May-78	THE DEFECTS OF SOCIALISM
LEADER.ART[CUR,JMC] 19-Dec-74	THE UNITED STATES SHOULD RESIGN AS LEADER
				OF THE FREE WORLD
IDEOLO[CUR,JMC] 21-Jul-75	THE THREADS OF LEFT-WING IDEOLOGY
ISOLAT.ESS[ESS,JMC] 26-Mar-75	THE CASE FOR ISOLATIONISM
BASIC.ESS[ESS,JMC] 10-Jun-74	BASIC SCIENCE AND BASIC TECHNOLOGY
REPLY[E78,JMC] 26-Jul-78	COMPUTER TECHNOLOGY AND THE RIGHT OF REPLY
ALGOL[E78,JMC] 15-Sep-78	The ALGOL committee changed its purpose
SLOW[E78,JMC] 20-Sep-78		WHY IS PROGRESS SO SLOW?
CONCEP[F78,JMC]			FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS
				AND PROPOSITIONS
AIM1.PUB[W79,JMC]	PREDICATE CALCULUS WITH "UNDEFINED" AS A TRUTH VALUE
				AI Memo 1
Quasar and other fakery -QUASAR

CATHY.QUA[F77,JMC] 07-Jan-78	Quasar stuff
QUASAR[S78,JMC] 15-Jun-78	STATEMENT ON THE STATE OF THE ART IN ROBOTICS
FAKE.LIS[F77,JMC] 21-Nov-77	Mailing list for quasar stuff
HARSH.QUA[F77,JMC] 01-Dec-77	Harsh version of CMU Quasar report
PRESS.QUA[F77,JMC] 01-Dec-77	STANFORD UNIVERSITY PRESS RELEASE
MESS.QUA[F77,JMC] 01-Dec-77	File of messages about Quasar
FAKE.MEM[F77,JMC] 14-Nov-77	Justification of press release
NYT.QUA[F77,JMC] 04-Dec-77	Klinefeld article on Quasar
QUASAR[F77,JMC] 21-Nov-77	Quasar promotional material
SWINDL[F77,JMC] 22-Nov-77	How Quasar might be making money
LADY.QUA[F77,JMC] 22-Nov-77	How to detect attempt to swindle
GMROB.QUA[F77,JMC] 22-Nov-77	GM report on Quasar
MORE.QUA[W77,JMC] 12-Feb-78	Quasar sentry from Popular Electronics
CSD affairs -CSD

phones.pty[inf,csd]
people.csd[dir,csd]
csd.bbd[inf,csd]

LISP.PRO[S78,JMC] 22-Apr-78	Memo on changing catalog description of LISP
course.
CATALO[S78,JMC] 28-Apr-78	New catalog descriptions of my courses
VERIFI[S78,JMC] 14-May-78	Propaganda for verification in CS education
MANNA.PR1[LET,JMC] 24-Apr-78	Long form for Manna
FILMAN.REC[F77,JMC] 13-Dec-77	Filman recommendation
AIQUAL[S77,JMC] 09-May-77	PREPARATION FOR AI QUAL
LSPLUG[W77,JMC] 09-Jan-77	Vaughan Pratt brief for LISP as teaching language
LSPLUG.PUB[W77,JMC] 17-Jan-77	Vaughan Pratt plug for LISP
LSPLUG.DOC[W77,JMC] 13-Jan-77	Another version of the LISP plug.

SIGMA[W77,JMC] 07-Mar-77	Sigma Xi lecture topics
POLICY[W77,JMC] 07-Mar-77	AI Lab policy on CSD use
CSDDIS.DOC[206,JMC] 14-Nov-73	Departmental display system
CSDDIS.PRO[F76,JMC] 14-Jan-77	Departmental display system
MANNA.RE1[E76,JMC] 26-Jul-76	Justifying Manna as PI
LUCKHA.BLA[F75,JMC] 03-Oct-75	He should have PI status
SCIP[CUR,JMC] 19-Mar-75		Comments on SCIP report
AI2.QUA[ESS,JMC] 15-Feb-72	'72 AI Syllabus
AISY2.QUA[ESS,JMC] 12-Jan-72	'69 AI Syllabus
AISY69.QUA[ESS,JMC] 24-Jan-72	'69 AI Syllabus
AI72.QUA[ESS,JMC] 05-May-76	1972 AI Qual
Environment, etc. -ENV

HAYES.RE1[S78,JMC] 27-May-78	Criticism of conservation paper by Denis Hayes
SUNDAY[S78,JMC] 17-May-78	Sun Day and the ethical problems of scientist
and engineers
OPINIO[S78,JMC] 25-Jun-78	Opinion poll on prop. 13 - bulletin board
IDEOLO.ENE[F77,JMC] 08-Oct-77	ENERGY AND THE ANTI-TECHNOLOGY IDEOLOGY
SMOKE[F77,JMC] 30-Nov-77	WHY THE ANTI-SMOKING PETITION SHOULDN'T BE SIGNED
PANEL[S78,JMC] 18-May-78	Appropriate science - handout for panel
NLCPI[S77,JMC] 09-Jun-77	NOTES FOR NLCPI ACADEMIC ADVISORY COUNCIL MEETING
SHUTDO[S76,JMC] 08-Apr-76	If prop. 15 passes, the enviromentalists will be
				sorry.
SORRY[S76,JMC] 08-Apr-76	WHY THE ENVIRONMENTALISTS WILL BE SORRY
				IF THEY PASS PROPOSITION 15
ENERGY[W76,JMC] 16-Jan-76	AN ENERGY CRISIS IS COMING
IDEOLO[W76,JMC] 01-Feb-76	IDEOLOGY AND ENERGY
DAILY.ART[F75,JMC] 06-Dec-75	THE ACADEMIC COMMUNITY AND THE NEXT ENERGY CRISIS
REFERE[ESS,JMC] 15-Mar-76	ecoreferences: losers
ECO.ESS[ESS,JMC] 26-Mar-75	WORRIES ABOUT THE ENVIRONMENTAL MOVEMENT
QUOTES[f81,JMC] 05-Jun-78	Revealing quotes from Ehrlich,Commoner, Train
Proposals -PROPOS

nsf[e80,jmc] 23-Aug-80		NSF proposal for basic research in AI (1980)
NSF[E77,JMC] 21-Apr-78		NSF proposal for Basic Research in AI
RENEW.PRO[W79,JMC] xx-apr-79	NSF proposal renewal for 2nd year
RENEW.PRO[W80,JMC] 15-MAR-80	NSF proposal renewal for 3rd year
PROOF.PRO[E78,JMC] 29-Jul-78	Proposal for CS206 proof-checker
RENEW[S78,JMC] 06-Jul-78	Proposal to renew Dialnet project
FR.NOT[S78,JMC] 04-Jul-78	leftovers on 1978 ARPA renewal proposal
NSF.NOT[E77,JMC] 11-Jul-77	Notes for Basic AI NSF proposal
NSF.ADD[E77,JMC] 07-Sep-77	Addendum to NSF Basic AI proposal
NEW.PRO[W77,JMC] 18-Mar-77	1977 proposal material
NEW1.PRO[W77,JMC] 18-Mar-77	1977 proposal
ARPA[W77,JMC] 12-Mar-77		Manna material for 1977 proposal
MTC.PRO[W77,JMC] 14-Mar-77	1977 MTC proposal material
OLD1.PRO[W77,JMC] 18-Mar-77	Material for 1977 proposal
CSDDIS.PRO[F76,JMC] 14-Jan-77	Departmental display system
RUSSEL.DIV[E76,JMC] 16-Aug-76	RUSSELL'S DIVISION OF ARPA ITP PROJECTS
CONCEP.ADV[E76,JMC] 26-Jul-76	ARPA RELEVANCE OF RECENT RESULTS ON CONCEPTS
REPORT[E76,JMC] 27-Jul-76	Report by Glassmire on FOL et. al.
ACCOMP[S76,JMC] 18-Jun-76	Accomplishments of AI Lab
CARLST.CON[W76,JMC] 09-Jan-76	Conversation with Carlstrom
IJCAI.ENQ[F75,JMC] 19-Sep-75	Request for advice on IJCAI-75 report
SURVEY.REQ[F75,JMC] 21-Oct-75	Request from Russell for survey articles
BELLNE.PRO[F75,JMC] 23-Sep-75	Early version of Dialnet proposal
ACCOMP[W76,JMC] 27-Feb-76	ACCOMPLISHMENTS IN FORMAL REASONING
BULLET[F75,JMC] 17-Oct-75	FORMAL REASONING
ARPA.PLN[F75,JMC] 22-Oct-75	FIVE YEAR PLAN FOR FORMAL REASONING (first draft)
OFFICE.PLN[F75,JMC] 23-Oct-75	ARPA INITIATED DOD STANDARDS ON OFFICE COMPUTER SYSTEMS
ARPMTC[CUR,JMC] 01-Mar-75	Answers to Licklider questions
REPRES.LIC[CUR,JMC] 10-Dec-74	THE FORMAL EXPRESSION OF HUMAN REASONING
REPRES.LI2[CUR,JMC] 09-Dec-74		Formal reasoning and MTC groups
RUSSEL.REQ[ESS,JMC] 19-Oct-75	Subject: OUTLINE OF PLANNED BASIC AI WORK
AI.HIS[ESS,JMC] 30-Dec-72	Justification of DoD support of AI
3D.NSF[ESS,JMC] 14-Nov-73	Proposal on 3-d drawings
ARPA.PUB[ESS,JMC] 24-Nov-75	1973 ARPA proposal
AUTDED[ESS,JMC] 19-Oct-75	Luckham for proposal
mtc -MTC

EXTENS[F77,JMC] 07-Oct-77	"#. Programs as objects and extensional forms."
BLOB[W76,JMC] 19-Feb-77		THE BLOB FUNCTIONS OF FLOW CHARTS
FIRST.NEW[W77,JMC] 23-Jun-78	REPRESENTATION OF RECURSIVE PROGRAMS
				 IN FIRST ORDER LOGIC
kyoto.pub[e81,jmc]		Another draft of recursive programs in
				first order logic
CORREC[S78,JMC] 28-May-78	STATING THE CORRECTNESS OF LISP PROGRAMS
INTENS[E78,JMC] 30-Jul-78	INTENSIONAL PROPERTIES OF RECURSIVE PROGRAMS
EXOTIC[W77,JMC] 13-Aug-77	EXOTIC CONTINUOUS FUNCTIONALS
NOTES[E78,JMC]/2p 30-Jul-78	iterativity is extensional in the functional
AIRLIN.MTC[ESS,JMC] 02-Dec-71 THE MCCARTHY AIRLINE RESERVATION SYSTEM
TAKEUC[E78,JMC] 28-Sep-78	AN INTERESTING LISP FUNCTION
TAKEUC.TEX[F78,JMC]	AN INTERESTING LISP FUNCTION - Takeuchi - TEX version
BEN[W79,JMC]		Suggestions for Ben Moszkowski on derived functions
CBN[W79,JMC]		Examples of call-by-name recursion counters.
cyclic[e80,jmc]		Induction principle for cyclic list structures
			re-entrant, reentrant
AI and philosophy study	-AIPHIL

AIPHIL.2[F77,JMC] 03-Nov-77	1979-80 STUDY OF ARTIFICIAL INTELLIGENCE
				AND PHILOSOPHY
AIPHIL[F77,JMC] 29-Dec-77	Names and references for study
TRIP[S78,JMC] 16-Jun-78		prices for trip
KNOW.LST[S78,JMC] 04-Jun-78	People interested in knowledge
AIPHIL.2[S78,JMC] 26-May-78	Announcement of CASBS AI and philosophy study
NAME[ESS,JMC] 15-Sep-77		names of philosophers
AIPHIL.PRO[W79,JMC]		for CASBS Sloan proposal for AIphil
Reviews -REVIEW

BODEN.CRI[F77,JMC] 09-Oct-77	Boden's 1st book
DENNET.CRI[F77,JMC] 15-Oct-77	Dennet books and papers
BODEN2.CRI[F77,JMC] 24-Oct-77	Artificial intelligence and natural man
BACKUS[S78,JMC] 06-Jun-78	Remarks on a paper of Backus
WEIZEN[S78,JMC] 08-May-78	Counters to Weizenbaum comments on Future Study
HAUGEL.NOT[W78,JMC] 25-Jan-78	haugeland on cognitivism
HAUGEL[W78,JMC] 03-Feb-78	"The nature and problems of cognitivism"
OWL.NOT[E77,JMC] 28-Jun-77	Comments on Martin's OWL
BARAN.RE1[E77,JMC] 28-Aug-77	Communication and computation should be separate
COMMAN[E77,JMC] 11-Sep-77	Commentary on Command Neuron Idea
				for Behavioral and Brain Sciences
CGOL.GRU[W77,JMC] 05-Feb-77	GRUMBLES ABOUT CGOL
PRATT[W77,JMC] 05-Feb-77	Pratt reply to CGOL.GRU
FILMAN[W77,JMC] 07-Mar-77	Suggestions on Filman dissertation
SUPPES.LE1[LET,JMC] 17-Mar-77	Comments on Suppes's "From behaviorism to
				neobehaviorism
AI[W77,JMC] 01-Oct-77		Comments on "The State of Technology
				 in Artificial Intelligence" by
				Duda, Nilsson, and Raphael
BELL.MOR[W77,JMC] 27-Mar-77	More on Danel Bell
STUDY.FS[W77,JMC] 28-Mar-77	Comments for Future Study
LICKLI.MOR[W77,JMC] 27-Mar-77	More comments on Licklider paper
WINSTO[F76,JMC] 13-Oct-76	Comments on Winston's "Artifical Intelligence"
BOLLES[E76,JMC] 13-Sep-76	Comments on Bolles's dissertation
PREJUD[E76,JMC] 15-Sep-76	PREJUDICED ANALYSIS article in Creative Computing
COMMEN[S76,JMC] 11-May-76	For future study
WEIZEN.RE2[S76,JMC] 25-Oct-76	Physics Today review of Weizenbaum
MOORE[S76,JMC] 12-May-76	Comments on your draft dissertation proposal:
WEIZEN.RE3[S76,JMC] 27-Apr-76	Physics Today review
MORAVE[S76,JMC] 29-May-76	Comments on "The Role of RAW POWER
				in INTELLIGENCE" by Hans Moravec
III[S76,JMC] 07-Jun-76	III AND OFFICE AUTOMATION
KAHN.RE1[S76,JMC] 23-Jun-76	Kahn and Gorry - report
NEWBOR.REV[F75,JMC] 30-Sep-75	Computer Chess, Monroe Newborn
WEIZEN[W76,JMC] 19-Apr-76	AN UNREASONABLE BOOK
PARKER[W76,JMC] 27-Feb-76	Social Implications of Computer/Telecommunications
				Systems - Parker.
COUNTE[F75,JMC] 27-Sep-75	NOTES ON COUNTERFACTUAL CONDITIONAL, esp. Lewis
RYLE.REV[F75,JMC] 21-Oct-75	A little bit on Ryle
GILFIL.REV[F75,JMC] 01-Nov-75	Migration to the stars
POLEMI.MEN[F75,JMC] 05-Jan-76	With Taylor
NOTE.MJH[206,JMC] 07-Nov-73	Note to Marsha Jo Hanna suggesting correlation scale
LIGHT.RE5[ESS,JMC] 25-Jul-75	Lighthill review
DREYFU.REV[F78,JMC]	review of Dreyfus paper for IEEE
FINDLE.REV[F78,JMC]	comments on Findler proposal
CS206 -CS206

MIDTER.206[F77,JMC] 27-Oct-77	Fall 77 midterm
PROB.206[F77,JMC] 02-Nov-77	A DIFFICULT VERIFICATION PROBLEM
FINAL.F77[F77,JMC] 22-Jan-78	Fall 1977 final
TERM.206[S77,JMC] 12-May-77	TERM PROJECTS FOR CS206
PROBLE.206[S77,JMC] 18-May-77	Proof problems for CS206
FINAL.S77[S77,JMC] 08-Jun-77	CS206∂(30)FINAL EXAMINATION→SPRING 1977
PROB.206[W77,JMC] 06-Feb-77	Another problem
PROB1.206[W77,JMC] 07-Apr-77	Problem set to be done at LOTS
EXERCI.206[W77,JMC] 28-Mar-77		Notes for first exercise
TASK.TA[F75,JMC] 02-Oct-75	TASKS FOR THE TEACHING ASSISTANT IN CS206
NICK.FIL[F75,JMC] 30-Sep-75	This is a list of the files in 206,nxl.
TERMPA.206[F75,JMC] 25-Nov-75	Term papers for CS206
206JMC.ARC[206,LSP] 26-Jul-78	Carolyn's inventory of 206,jmc
Research notes -RESEAR

mail[let,jmc]			Electronic mail as a product
mailad[let,jmc]			draft advertisement
maille[let,jmc]			draft letter to company
kant[let,jmc]			Notes on Kant
SOLVE[F77,JMC] 20-Nov-77	Note on the LISP inversion problem solver
NOT[F77,JMC]/2p 28-Nov-77	Reducing frame problem to qualification problem
NOT[F77,JMC]/3p 28-Nov-77	Epistemology of general problem solving
PROBLE[S78,JMC] 04-Jul-78	Features of proposed problem solver.
PATTER[S78,JMC] 23-Apr-78	Patterns in sequence solitaire
BLOCKS.NOT[W78,JMC] 27-Jan-78	Notes on blocks axiomatizations
PATTER.NOT[W78,JMC] 26-Mar-78	notes for patterns in logic paper
CONJEC[W78,JMC] 21-Apr-78	CONJECTURES ABOUT CONTINUOUS FUNCTIONS ON FLAT DOMAINS
RECURS.NOT[W78,JMC] 15-Mar-78	Expressing theorems about recursion in set theory.
ABSTRA[W78,JMC] 20-Mar-78	ABSTRACT SYNTAX
MISSIO[W78,JMC] 23-Mar-78	NOTES ON THE MISSIONARIES AND CANNIBALS
MAXIMA[W78,JMC]			Conjectures about a maximal consistent set theory
PERSON[W78,JMC] 06-Mar-78	Abstract for Jerusalem talk on personal computing
PUZZLE[W78,JMC] 29-Jan-78	Solution to a blocks construction puzzle
EPISTE.NOT[W78,JMC] 25-Feb-78	Reference on epistemology (production version)
NOTES[W78,JMC] 27-Feb-78	Reference on Gentzen axioms for modal logic
IJCAI.NOT[E77,JMC] 23-Jun-77	Notes for 1977 IJCAI paper, more ideas than appeared
PARADO[E77,JMC] 12-Jul-77	Notes on paradoxes and self-application
NOTEBO.OK[S77,JMC] 05-Jun-77	Knowledge, political statements by scientists
				and applications of circumscription
CHALLE[S77,JMC] 30-May-77	Debate challenge to Weizenbaum - not sent
PROBLE.AI[S77,JMC] 17-Jun-77	Open problems of AI
SUBGOA[W77,JMC] 04-Feb-77	Minimization schema and subgoal induction
TRADE[W77,JMC] 25-Jan-77	THE TRADERS - AN EXAMPLE OF ASYNCHRONOUS ACTIONS
RECURS[W77,JMC] 28-Jan-77	DESCRIBING RECURSIVE FUNCTIONS IN FIRST ORDER LOGIC
PHILOS[W77,JMC] 05-Feb-77	MODELS OF EPISTEMOLOGICAL SYSTEMS
DERIVE[W77,JMC] 10-Feb-77	Derived Functions
FIRST.MOR[W77,JMC] 07-Apr-77	Second order schemata
REPRES[W77,JMC] 11-Feb-77	A NATURAL REPRESENTATION of recursive functions
COUNTE[W77,JMC] 24-Feb-77	COUNTERFACTUALS
				, CARTESIAN PRODUCTS AND APPROXIMATE THEORIES
NAIVE[W77,JMC] 02-Mar-77	A SOPHISTICATED THEORY OF NAIVE LANGUAGE
CONTIN[W77,JMC] 18-Mar-77	CONTINUOUS FUNCTIONALS AND THEIR LEAST FIXED POINTS
HARDWA[W77,JMC] 20-Mar-77	HARDWARE PERFORMANCE PROBLEMS OF
SAMEFR.RE1[W77,JMC] 22-Mar-77	reply to Burger
				 TIME-SHARED COMPUTERS
NOTES[E76,JMC] 15-Aug-76	More notes on motivation.- moved to motiva[f81,jmc]
IDEA[E76,JMC] 13-Jul-76		Two tiny cryptic ideas
IGNORA[E76,JMC] 14-Sep-76	ANOTHER APPROACH TO IGNORANCE - Goad's
CONCEP.NOT[E76,JMC] 22-Nov-76	Some ideas about concepts
CONCEP.SUP[E76,JMC] 20-Aug-76	PHILOSOPHICAL REMARKS
MEANIN[F76,JMC] 23-Nov-76	Meanings as inverse limits
OWE[F76,JMC] 03-Dec-76		ABOUT OWING; it isn't necessarily a mental concept
MENTAL.NOT[F76,JMC] 06-Aug-77	Addenda to MENTAL
MENTAL.1[F76,JMC] 23-Dec-76	Notes
MENTAL.2[F76,JMC] 08-Jan-77	notes for mental
METAPH[F76,JMC] 29-Dec-76	Notes on Metaphysics, local situations
MENTAL.3[F76,JMC] 29-Jul-77	notes for MENTAL
CARTES[S76,JMC] 29-Apr-76	CARTESIAN PRODUCT SEARCH SPACES, not much
PROBLE[S76,JMC] 12-May-76	A Classification of Problems in AI
CONTEX[S76,JMC] 24-Jul-76	CONTEXT DEPENDENT SEMANTICS
MOTIV2.MEN[S76,JMC] 02-May-76	Peculiarities of human motivation
				moved to motiva[f81,jmc]
EXTENS[S76,JMC] 30-Jun-76	EXTENSIONAL FORMS
				ABSTRACT FORMS - abstract synt + ext forms
FREGE[W76,JMC] 14-Jan-76	REHABILITATING FREGE
TASKS.SET[W76,JMC] 24-Jan-76	Getting good set theory in FOL
KNOW[W76,JMC] 30-Mar-76		KNOWLEDGE OF TELEPHONE NUMBERS
SEARCH[W76,JMC] 28-Mar-76	FINITE STATE SEARCH PROBLEMS
AI[F75,JMC] 25-Sep-75		General article on AI
AUTOMA.2[F75,JMC] 11-Dec-75	CONCEPTS DEFINED RELATIVE TO A THEORY
DEFINE[F75,JMC] 10-Oct-75	ASCRIPTIVE DEFINITIONS - just a fragment
GENERA[F75,JMC] 12-Oct-75	THE EPISTEMOLOGY OF GENERAL INTELLIGENCE
PHIL.ART[F75,JMC] 15-Oct-75	ascription, relative definition, etc.
CHESS.NOT[F75,JMC] 28-Nov-75	NOTES ON CHESS PROGRAMMING
MENTAL.SUP[F75,JMC] 03-Dec-75	More notes for MENTAL
MENTAL.NOT[F75,JMC] 21-Mar-76	more notes
SELFCO.MEN[F75,JMC] 01-Jan-76	More notes for MENTAL
WISEMA[F75,JMC] 03-Dec-75	ANOTHER FORMALIZATION OF THE WISE MAN PUZZLE
MOTIVA.MEN[F75,JMC] 08-Dec-75	ON MOTIVATIONAL STRUCTURES - ESPECIALLY HUMAN
				moved to motiva[f81,jmc]
CELLUL.MEN[F75,JMC] 27-Dec-75	notes for MENTAL
AUTOMA[F75,JMC] 11-Dec-75	NOTES ON AUTOMATA AND ARTIFICIAL INTELLIGENCE
NOTE1.MEN[F75,JMC] 24-Jan-76	Non-positivist
FINITI[F75,JMC] 30-Dec-75	FINITIZATION OF THEORIES (A research topic)
CBCL[F75,JMC] 24-Jan-76		THE COMMON BUSINESS COMMUNICATION LANGUAGE
EPISTE.MEN[F75,JMC] 11-Jan-76
OBSERV.MEN[F75,JMC] 01-Jan-76	Draft of section
RELDEF.MEN[F75,JMC] 26-Dec-75	Probably incorporated in text
MOTIV.MEN[F75,JMC] 19-Apr-76	moved to MOTIVA[F81,JMC]
CONTEN.MEN[F75,JMC] 01-Jan-76	The original plan of the paper
NOTE.MEN[F75,JMC] 19-Feb-76	Probably not superseded by the paper
AI.MEN[F75,JMC] 07-Jan-76	Probably included in text
CHANGE.MEN[F75,JMC] 21-Apr-76	Probably included
TECHNI.MEN[F75,JMC] 10-Feb-76	TECHNICAL MATHEMATICAL LOGICAL PROBLEMS
ECON.NOT[CUR,JMC] 01-Feb-75	What we need to know about economics
PHIL[CUR,JMC] 16-Feb-75	PHILOSOPHICAL PRINCIPLES OF ARTIFICIAL INTELLIGENCE
COMMON[CUR,JMC] 02-Jan-75	Common sense and computers
CHESS1[CUR,JMC] 05-Sep-74	Inference and observation
COMMON.MEN[ESS,JMC] 11-Jan-76	TOWARDS A SCIENCE OF COMMON SENSE
AI2.ESS[ESS,JMC] 26-Mar-75	STRUCTURE OF THE AI PROBLEM
CODE.PRO[ESS,JMC] 17-Sep-74	encipherment scheme
SUPERW[E78,JMC] 17-Sep-78	SUPERWOLF - A TEST OF EVOLUTION
CHERNI.RV1[F78,JMC]		THE ROSENBLOOM FALLACY
S1 -S1

WOOD[F77,JMC] 04-Dec-77		Notes on discussion with Lowell Wood
COMMAN.S1[W78,JMC] 28-Mar-78	NOTES ON THE COMMAND LANGUAGE FOR THE S-1
MACHIN[F75,JMC] 17-Dec-75	SOME PREJUDICES ON NEW MACHINE DESIGN
Miscellaneous -MISC

PEOPLE.DAT[PER,CSD]		The department phone and address list
LIB.LST[1,jmc]		Catalog of my library at Lab
iii[let,jmc]			iii board of directors names and addresses

loser[w80,jmc] 19-mar-1980	WSJ on IRS making citizens do its data processing
TRAVEL.REQ[W77,JMC] 10-Mar-77	1977 trip travel plan
LIST[S76,JMC] 06-Jun-76		Wedding reception invitees
RICHAR[F77,JMC] 02-Nov-77	Issues concerning FOL
BLACKL.IST[F77,JMC] 05-Nov-77	    Universities tolerating lecture disruption
				and other bad guys
TASKS[E77,JMC] 28-Jul-77	Summer 1977 tasks
FOL.COM[W76,JMC] 17-Jan-76	Note about mods to FOL
PDP10[W76,JMC] 22-Jan-76	USE OF THE STANFORD AI LAB TIME-SHARING SYSTEM
IBM[W76,JMC] 01-Mar-76	Computer profession's interest in IBM antitrust case
AICIRC.ABS[CUR,JMC] 07-Feb-75	EPISTEMOLOGY, FORMAL REASONING AND AI
SCIP[CUR,JMC] 19-Mar-75		Comments on SCIP report
ADFECT[ESS,JMC] 31-Mar-76	Def of "adfected"
ECHO.FAI[206,JMC] 05-JAN-71	FAIL exercise for echo
SAYING[F76,JMC] 24-Oct-76	I am he, who is not afraid to look in the corners.
CRACK.ESS[ESS,JMC] 26-Mar-75	WISECRACKS
APHOR.AI[CUR,JMC] 29-Jan-75	A few aphorisms
FACTS[f81,JMC] 27-Jun-78	Miscellaneous useful facts
QUOTES[F78,JMC] 15-Oct-78	Some interesting quotations
error[w80,jmc] 8-Mar-80	Some common misused words
SERIAL[ESS,JMC] 06-Jan-76	Serial numbers of property and other facts
MONEY[ESS,JMC] 21-Mar-77	BALANCES IN JMC UNRESTRICTED ACCOUNTS March 21, 1977
NOTES[ESS,JMC] 11-Jul-78	Miscellaneous notes, dormitive power,
				complexity of motivation, Schank's 14,
				visualization
SQUISH.E[ESS,JMC] 04-May-78	How to squish mail
IMLFIX[ESS,JMC] 16-Jan-77	apparently when system forgets tty15
NAMES[ESS,JMC] 29-May-73	names and addresses and phones
PUZZ.DDG[ESS,JMC] 19-Oct-75	Solution to random puzzle
LIVERM.F4[ESS,JMC] 07-Dec-76	Fortran program used to test T.S speed
REGIST[ESS,JMC] 29-Aug-73	1973 ijcai registrants
AAAS.PRO[ESS,JMC] 02-Oct-74	Proposal for AAAS symposium on cars
TRIP.E78[E78,JMC] 30-Jul-78	schedule for round world trip
COLDES[E78,JMC] 31-Jul-78	notes on Coldest Winter in Peking
TOUR[S78,JMC] 14-Jun-78		description of offered lectures
TRIP[E78,JMC] 02-Aug-78	Round the world in 1978
MTCPUB.PUB[LET,JMC] 14-Jan-79	Additional pub definitions for MTC and Lisp
MEMO[E78,JMC] 30-Jul-78	A version of memo.pub[let,jmc]
TASKS[E78,JMC] 14-Sep-78	September 1978 tasks
ASIA[E78,JMC] 15-Sep-78	 Asia Summer School on Artificial Intelligence
TRIP.REP[E78,JMC] 18-Sep-78	COMPUTER SCIENCE IN THE FAR EAST
CHORES[LET,JMC]	07-Dec-78	Chores for helper
TRIP[LET,JMC]	07-Dec-78	Checklist for trips
SKI[LET,JMC] 10-Dec-78		Checklist for ski trips
PERIOD[LET,JMC] 12-Dec-78	Periodical subscriptions
INFO[LET,JMC] 30-Dec-78		Information file in 2nd drawer left cabinet home
ONEJMC[LET,JMC] 31-Dec-78	List of files that were in [1,jmc]
BILLS[LET,JMC] 27-Jan-79	Bills received and paid
MONEY[LET,JMC] 02-Feb-79	Checks received and deposited.
NOTES[LET,JMC] 10-Apr-79	Index to notes on paper in chrono file
ESTATE[F78,JMC]		notes on Vera estate
INTRO[F78,JMC]		ANNAPURNA TAPE DIARY
PHON1[F78,JMC]		phones and addresses of Vera relatives
VERA[F78,JMC]		remembrances
susie.wd[let,jmc]	Diffie inventory of shed, Susie and Sarah stuff
john.wd[let,jmc]	Diffie inventory of shed, John's stuff
Political action - ACTION

LERNER[S78,JMC] 31-May-78	Poster for Sonya Lerner talk
DEAL[E78,JMC] 16-Jun-77	A PROPOSAL TO TRADE A COMPUTER
			FOR THE DISSIDENTS AND REFUSENIKS
PRESSU[W77,JMC] 29-Jan-77	A RATIONALE FOR MORAL PRESSURE ON THE SOVIET UNION
IJCAI.REP[F75,JMC] 15-Jul-78	Lerner in Tblisi
NLCPI[F76,JMC] 30-Nov-76	American technologist, prospects for technology
SCIENC[F76,JMC] 30-Nov-76	Notes on biases of Science magazine
KELDYS.LE1[ESS,JMC] 09-Jul-75	About lerner
POSTER[E78,JMC] 31-Jul-78	NUCLEAR AND OTHER HAZARDS
Slides for lectures -SLIDES

CIRCUM.SLI[S78,JMC] 		Slides for circumscription lecture
LISP2.SLI[S78,JMC] 26-May-78	Slides for LISP history lecture
LISP.SLI[W78,JMC] 10-Mar-78	Slide ideas of LISP history
IJCAI.SLI[E77,JMC] 17-Aug-77	Slides for IJCAI 1977
Essays in Science and Technology -ESS

ess.msg[ess,jmc] 1980-may-26	Messages for inclusion in technology essays
TITLE.ESS[ESS,JMC]
CONTENT.ESS[ESS,JMC]
CHAP1.ART[ESS,JMC] r-apr-79	IN DEFENSE OF SCIENCE AND TECHNOLOGY
CHAP2.ART[ESS,JMC] r-apr-79	IS THERE ANYTHING USEFUL LEFT TO INVENT?
CHAP3.ART[ESS,JMC] r-apr-79	RESOURCES FOR THE FUTURE
INTRO2.ESS[ESS,JMC] R-apr-79	INTRODUCTION TO TECHNOLOGY DRAFTS
SUMMAR.ESS[W78,JMC] 21-Apr-78	WHAT CAN TECHNOLOGY BASED ON PRESENT SCIENCE
				DO FOR THE AMERICAN MIDDLE CLASS
TECHNO.ESS[ESS,JMC] r-apr-79	NEW GOALS FOR TECHNOLOGY
TCLUB.ESS[ESS,JMC] r-apr-79	STANFORD TECHNOLOGY CLUB - A PROSPECTUS
STYLE.ESS[ESS,JMC] r-apr-79	TOWARDS AN INTELLECTUALLY HONEST STYLE
SOCIAL.ESS[ESS,JMC] r-apr-79	SOCIAL VIEWS - this one may be best
PURPOS.ESS[E76,JMC]		Human welfare is the ability to fulfill human
				purposes.
GOALS.ESS[S76,JMC] 26-Jun-76	Human goals - People live for a while and then
				die.
GOAL.ESS[E76,JMC] 08-Aug-76	List of concrete goals like reducing housework
PREFAC.ESS[E76,JMC] 08-Aug-76	Social welfare is individual goal achievement
HISTOR.ESS[E76,JMC] 08-Aug-76	WHAT HAVE WE DONE WITH OUR TECHNOLOGY?
STANDA.ESS[ESS,JMC] 26-Mar-75	THE AMERICAN STANDARD OF LIVING history
POLIT.ESS[ESS,JMC] 26-Mar-75	ON POLITICS as menaces rather than opportunities
ISSUES.ESS[S76,JMC] 05-Jul-76	Some issues to face (just one now)
CONTR2.ESS[ESS,JMC] 26-Mar-75	TOWARDS A SOCIAL CONTRACT
CONTRA.ESS[ESS,JMC] 26-Mar-75	THERE SHOULD BE A SOCIAL CONTRACT	
ENHANC.ESS[ESS,JMC] 26-Mar-75	THE ENHANCEMENT OF THE INDIVIDUAL
IDEOLO.ESS[ESS,JMC] 26-Mar-75	TECHNOLOGY AND IDEOLOGY - what about unscientific
				social decisions
ECO.ESS[ESS,JMC] 26-Mar-75	WORRIES ABOUT THE ENVIRONMENTAL MOVEMENT
IRRATI.ESS[S78,JMC] 27-Jun-78	TOWARDS A LOGICAL THEORY OF HUMAN IRRATIONALITY
INTRO.ESS[ESS,JMC] 21-Jan-78	TECHNOLOGY AND THE ENHANCEMENT OF MAN
BENEFI.ESS[ESS,JMC] 12-Feb-78	THE SOCIAL BENEFITS OF NEW TECHNOLOGY
BASIC.ESS[ESS,JMC] 10-Jun-74	BASIC SCIENCE AND BASIC TECHNOLOGY
TECIND.ESS[ESS,JMC] R-May-79	Proposal for research to enhance the individual
INDIV.ESS[ESS,JMC] 26-Mar-75	How technology has enhanced individuality
TWOMOD.ESS[ESS,JMC] 26-Mar-75	TWO MODELS OF POLITICAL ECONOMY - →LLL
EQUAL.ESS[ESS,JMC] 26-Mar-75	THE LIMITS OF EQUALITY
STAN.ESS[ESS,JMC] 26-Mar-75	THE GOALS OF THE UNIVERSITY
				AND THE GOALS OF ITS INHABITANTS
ADHOM.ESS[ESS,JMC] 26-Mar-75	TECHNOLOGY AND IDEOLOGY - AD HOMINEM REMARKS
REMARK.ESS[ESS,JMC] 26-Mar-75	A few remarks, ad hominem
ECON.ESS[ESS,JMC] 26-Mar-75	SOME ECONOMIC PROPOSITIONS
CULTUR.ESS[ESS,JMC] 26-Mar-75	GRUMBLES ABOUT PRESENT AMERICAN STATE OF MIND

SHOCK.ESS[ESS,JMC] r-apr-79	FUTURE SHOCK
PLANE.ESS[ESS,JMC] r-apr-79	COMPUTER CONTROLLED AIRPLANES
OBJEC.ESS[ESS,JMC] r-apr-79	MATHEMATICS AND OBJECTIVITY IN HUMAN AFFAIRS
MONOP.ESS[ESS,JMC] r-apr-79	MONOPOLIES IN HOME COMPUTER SERVICES anti-cable
LONG.ESS[ESS,JMC] r-apr-79	LONG RANGE CONSIDERATIONS
WOMEN.ESS[ESS,JMC] R-apr-79	Technology and women's liberation
flexib.ess[ess,jmc] 20-jan-80	The importance of flexible technology
women2.ess[ess,jmc] 20-jan-80	Technology and women's liberation
				(more about technology than sociology)
planni.ess[ess,jmc] 20-jan-80	The immorality of the public policy community
HOTER.ESS[ESS,JMC] r-apr-79	THE HOME INFORMATION TERMINAL
EARLID.ESS[ESS,JMC] r-apr-79	EARLIDS
DIG.ESS[ESS,JMC] r-apr-79	Proposal for research in remote tunneling
DELIV.ESS[ESS,JMC] r-apr-79	 AUTOMATIC DELIVERY SYSTEM
ENERGY.ESS[ESS,JMC] R-Apr-79	FUTURE ENERGY REQUIREMENTS - A POSITION PAPER
ENERGY.PRO[ESS,JMC] R-Apr-79	1973 energy plan
MICRO.ESS[ESS,JMC] 26-Mar-75	REQUIREMENTS FOR A MICRO-ECONOMY
SPACE1.ESS[ESS,JMC] 26-Mar-75	SPACE AS A FRONTIER
CARDEF.ESS[ESS,JMC] 26-Mar-75	Hitchhiking Si! Car pooling No! 
CRACK.ESS[ESS,JMC] 26-Mar-75	WISECRACKS
SLOGAN.ESS[ESS,JMC] 26-Mar-75		SLOGANS ABOUT TECHNOLOGY
SHORT.ESS[ESS,JMC] 26-Mar-75	SHORT REMARKS IN SUPPORT OF SLOGANS
GROWTH.ESS[ESS,JMC] 26-Mar-75	ON LIMITS TO GROWTH
UNDER.ESS[ESS,JMC] R-apr-79	U.S. RESPONSIBILITY FOR UNDERDEVELOPED COUNTRIES
INDIA.ESS[ESS,JMC] 26-Mar-75	WHAT IF INDIA DOESN'T MAKE IT
INDIA2.ESS[ESS,JMC] 26-Mar-75	WHAT IF INDIA DOESN'T MAKE IT

RACKET.ESS[ESS,JMC] 26-Mar-75	A SURVEY OF FEATHERBEDDING, ESPECIALLY WHITE COLLAR

PRODUC.ESS[ESS,JMC] 04-May-78	TECHNOLOGY FOR IMPROVING PRODUCTIVITY
BLACKH[S77,JMC] 22-May-77	BLACK HOLE ROCKET SHIPS
GALAXY[S77,JMC] 29-May-78	INTERSTELLAR TRAVEL WITH 20TH CENTURY TECHNOLOGY
POLITI.ESS[F76,JMC] 03-Nov-76	"CAN TECHNOLOGY IMPROVE POLITICS?"
PRISPA.ESS[ESS,JMC] 26-Mar-75	THE PROSPECTS FOR A PRIVATE SPACE PROGRAM
POLICE.ESS[ESS,JMC] 26-Mar-75	THE POLICE AS GLADIATORS
CAR.ESS[ESS,JMC] 08-May-75	COMPUTER CONTROLLED CARS
STAN2.ESS[ESS,JMC] 26-Mar-75	MAKING STANFORD A BETTER PLACE TO LIVE
MINSKY[ESS,JMC] 26-Feb-76	Encouragement of view on cars
HOTER.PUB[ESS,JMC] 09-Mar-73	THE HOME INFORMATION TERMINAL - old version
CAR2.ESS[ESS,JMC] 26-Mar-75	IN DEFENSE OF THE AUTOMOBILE
AAAS[ESS,JMC] 28-Mar-73		ideas for AAAS symposium
AI.ESS[ESS,JMC]		THE PRESENT SCIENTIFIC SITUATION IN ARTIFICIAL
			INTELLIGENCE
SPORT.ESS[ESS,JMC] 26-Mar-75	A NEW SPORT - flying in a vertical wind tunnel
CRIME.ESS[ESS,JMC] 26-Mar-75	TECHNOLOGY, CRIME, AND CIVIL LIBERTIES
HOUSE.ESS[ESS,JMC] 26-Mar-75	FURTHER MECHANIZATION OF HOUSEWORK

TOPIC.ESS[ESS,JMC] 26-Mar-75	Notes for small essays.
HOW.ESS[ESS,JMC] 04-May-78	HOW ARE ALL THESE GOOD THINGS TO COME ABOUT?
DBACOM.ESS[ESS,JMC] 26-Mar-75	Reply to Bruce Anderson comments on essays
DISAPP[E78,JMC] 01-Aug-78	Disappointment with rate technological progress
INVENT[E78,JMC] 01-Aug-78	minor inventions
CHICAR.ESS[ESS,JMC] r-apr-79	THE CHINESE CAN SO HAVE CARS r-apr-79		ECON.ESS[ESS,JMC]
ALL[ESS,JMC] 21-Apr-73		list of files - some don't exist
ESS.ESS[ESS,JMC] 26-Mar-75	ESSAYS IN PROCESS
CS226 -CS226

LECTUR.F9[W78,JMC] 09-Feb-78	Notes for CS 226 lecture
MONBAN[W78,JMC] 19-Feb-78	Vaughan Pratt version of Monkey and Bananas
NOTES.226[F75,JMC] 08-Jan-76	Notes on CS226 - 1st two lectures
BLOCKS.226[F75,JMC] 07-Jan-76	PROBLEMS WITH THE BLOCKS WORLD
				collaboration of robots in construction;
				doesn't say anything about blocks
CATALO[S78,JMC] 28-Apr-78	New catalog descriptions of my courses
PLAN.226[E78,JMC] 29-Jul-78	Plans for teaching CS226
puzzle[w78,jmc]
blocks.not[w78,jmc]
blocks[e80,jmc]

See also epistemology papers page 35
plan.226[e78,jmc]/2p		Blocks is key initial topic
DRAFTS -DRAFTS

IJCAI.A[E77,JMC] 23-Jun-77	Early draft 1977 IJCAI
IJCAI.F[E77,JMC] 26-Jun-77	Draft of 1977 IJCAI paper
IJCAI.E[E77,JMC] 24-Jun-77	Draft material for 1977 IJCAI
IJCAI.G[E77,JMC] 30-Jun-77	Notes for 1977 IJCAI
MODEL.PUB[S77,JMC] 09-Aug-77	Intro to paper with Sato, et. al.
Other people's papers -OTHERS

LISP2[E77,JMC] 01-Jul-77	Pratt's article on LISP
LSPLUG.PUB[W77,JMC] 17-Jan-77	Vaughan Pratt plug for LISP
CGOLMA[W77,JMC] 10-Feb-77	CGOL manual
MODPRO.PRA[W77,JMC] 06-Feb-77	Pratt proposal for dynamic logic proof checker
OBVIOU[W76,JMC] 26-Jan-76	Richard on what's obvious in set theory
ITER[ESS,JMC] 27-Mar-77		Iteration in LISP - Probably Pratt proposal
stoyan[let,jmc]			Stoyan comments on LISP history
nuclear -NUCLEA

MISTAK[E77,JMC] 04-Aug-77	YOU ARE MAKING A MISTAKE
OPTION[E77,JMC] 03-Aug-77	Other people's energy options
News stories -NS

ELECTR.NS[W77,JMC] 03-May-77	Electronic mail
MAIL.NS[W77,JMC] 28-Jan-77	Electronic mail
VIETNA.NS[W77,JMC] 28-Jan-77	refugees
POSTAL.NS[W77,JMC] 29-Mar-77	Future of Post Office
MAIL.NS[E76,JMC] 06-Aug-76	Electronic mail
STANFO.NS[E76,JMC] 08-Aug-76	Parapsychology and fraudulent bankruptcy
MAIL.NS[S76,JMC] 19-Jun-76	Electronic mail
TENZIN.1[ESS,JMC] 16-Feb-76
PERSEP.NS[206,JMC] 16-APR-77
CAMBOD.NS[206,JMC] 16-APR-77
DISINF.NS[ESS,JMC] 14-May-78	disinformation
NEPAL.NS[ESS,JMC] 07-Aug-76	Perhaps they'll want these later
FREEWA.NS[ESS,JMC] 25-Nov-77	China will build freeways
KITT.NS[ESS,JMC] 22-Oct-76	Cousin Gilbert
PACKAR.NS[ESS,JMC] 11-Nov-76	Committee on the present danger
COMPUT.NS[ESS,JMC] 09-Nov-77	Home computers
VIETNA.NS[ESS,JMC] 11-May-78	About refugees mostly
WORKER.NS[ESS,JMC] 29-Dec-77	Soviet free trade union
NUCLEA.NS[ESS,JMC] 08-Feb-78	INSIDE REPORT: Jerry's Next Vietnam
ANTISC.NS[ESS,JMC] 12-Feb-78	Rowan believes that arms race starts with scientists
LEGAL.NS[ESS,JMC] 12-Feb-78	NLCPI and friends
BIONIC.NS[ESS,JMC] 29-Mar-78	Proxmire attack on walking robot
SUN.NS[ESS,JMC] 16-Apr-78	Sun Day
SUNDAY.NS[ESS,JMC] 02-May-78	Sun Day - government drivel
BUDGET.NS[ESS,JMC] 13-Sep-77
FACE.NS[ESS,JMC] 15-Sep-77	facts about face lifts - for Vera
VIET.NS[E78,JMC] 01-Aug-78	About outfit that supplies boats
ANNAPU.NS[E78,JMC] 13-Sep-78	News stories
AI Lab	-LAB

DATADI[E76,JMC] 27-Jul-76	PRIORITY SYSTEM FOR DATA DISC CHANNELS
UTILI.AIL[F75,JMC] 06-Jan-76	SOME PROGRAMMING TASKS
POLICY.AIL[ESS,JMC] 19-Sep-71	PROPOSED PERSONNEL POLICY FOR THE STANFORD
				ARTIFICIAL INTELLIGENCE LAB
AILAB.AIL[ESS,JMC] 15-Feb-72	Catalog description of the Lab
AD.NET[ESS,JMC] 14-May-72	Descripition of Lab for Network Handbook
AILAB.BLA[ESS,JMC] 16-Dec-75	old version, I hope
Problem solving -PROBLE

PRBSLV.TXT[1,LDC]	Creary problem solver proposal
For deletion -del

Research problems for students -TOPIC

WADLER[W76,JMC] 12-Apr-76	Comments and suggested research
MINIMA[F75,JMC] 31-Dec-75	MINIMAL MODELS (research topic)
THESIS[F75,JMC] 31-Jul-78	NOTES ON RESEARCH TOPICS, ESPECIALLY FOR THESES
UTILI.AIL[F75,JMC] 06-Jan-76	SOME PROGRAMMING TASKS
BLOCKS.226[F75,JMC] 07-Jan-76	PROBLEMS WITH THE BLOCKS WORLD
TECHNI.MEN[F75,JMC] 10-Feb-76	TECHNICAL MATHEMATICAL LOGICAL PROBLEMS
AJT.MEM[ESS,JMC] 15-Feb-72	AI and psychological experiments
QUERY[E78,JMC] 23-Jul-78	Research questions, not for theses
COREWA[S77,JMC] 13-Jun-77	CORE WAR
Patterns -pat

PATTER.2[F75,JMC] 10-Mar-78	WHAT IS A PATTERN?
PATTER.AI[F75,JMC] 10-Mar-78	WHAT IS A PATTERN? updated july 1980
PATTER[F77,JMC] 10-Mar-78	PATTERN DIRECTED COMPUTATION AND PROBLEM SOLVING
MATCH.LSP[F76,JMC] 08-Nov-76	INST followed by assignments to vars in pattern
PATTER.LSP[F77,JMC] 20-Nov-75	INST and SOLS
INST2.LSP[F76,JMC] 08-Nov-76	commutative and as@M←GSCQSmJAYKegS=]fA←_A∪≥'P~∃∪≥M(d]≠1'7nXY∃≠πt@`d[⊃KFZnX∪π←[5kiCi%mJAC9HACgβ≠?∂'∂#'[∃∧J:NPhR&*N#⊃:BV∃Z→]YdR6∞uβ↓]6∪.→5]XL≠?77/#πS'6)βπ;"βπOO}≠'πSO3∃mβW+OQβ&C∃β∩βCK??∪π44TJ:NQ~r2NB\1]Y2Tj∞u↓∪96∪↔~i]X&LrNQβ>KS!β∞c'OS~↓#C3/∪π1$hR&:N#!:2N¬Z→]YdR6∞uβ⊃]6∪.→5]XNK;OS61βπv!β';∨#[πHhRN>24):2N¬Z→]YdR6∞uβ⊃]6∪.→5]XNSWOQε	βOS∂∪Qβ?rβCK?⊗c↔5β≡{3[↔⊂h*Bε%"⊗Jn≠9a2*l~u↓I~jπCIk9`&C∂#S↔Kw→β'9π≠↔GW.s∂∃β≡{3'S∞KK∀4UαεRR-⊃::>%Z]]adR6∞uβ⊃Y67∂⊃5]`Ns?S↔~β≠?IπβπSS/∪;MβNqβ3?>K
βC∂β↔H4P2OC∞≠∃↓7∨βπ∂∀hP4*∞L~2>B\1]U2Tj∞u↓96;?2i]T&NsS↔K∨#↔33∂⊃β∂?nkW;'≡S'?rβπ;⊃εk'∨K∂#'?8hRRε
d*n→]*b*6∞j↓Ee6v{Y5](KM#3N;#QβN+πKMHKA#←∂#SM?↑9$&S≡{;Q#N+πKMHJQE#N+πKMHh*&:$*JNn39U2*l~u↓E~j7πek9\&RD)α~⊗
~&
&dJReα|1α&:$*JNR,b2εI¬"JεZ,`4*N∧
∞∃Et*NNn-~M2*l~u↓I2j7πIk9T&N∧
∞∃α
→α¬α5∩>*RL*H4*,
NRJzrεJR\*NM2Tj∞u↓∪I6?∂"i]T&$B∃α~,
N&
Lb&Re∧z→α&u"⊗JN$*22ε∩αRJε4*04*¬∩&NB
r⊗NN\*NM2Tj∞u↓∪167π∩i]T&$B∃αB∀zNB⊗≥"Mα~⎇⊃α¬α¬∩&Zε$)αNB~∃αB∀z≡Jεhh*NB~⊗nM;A2*6≥i↓Ielkπe5;@&3'∨!β?→πβK?C␈≠↔⊃β∂∪S'∂f+Mβ?rβOCπ≡(4(3W;/≠↔⊂4P2K↔6+K↔;≡+M1β⊗K3'};KπCFK↔Mβ∞s⊃β3O≠SMβ}1β≠'f+M↓6∀*_4(hRε&BDJ2n→;92*6≥i↓Iel#↔
5;8&;πn+Mβπv!βK↔6+K↔;≡+Mβ≠␈⊃βOS.#d4*
*>R⊗≥Z⊗NMdR6∞uβ↓U6+.q5]`M∪↔[↔∞c';≥πW?S/→β≠K}iα↔#⊗c'∂!d≠?77}s↔I1¬#Kππph*J⊗4*J⊗n-~M2*l~u↓E*j7πIi9P'↔≡{K↔≠/∪↔;∂/→iβ3␈≠↔KMbβπ3Ozβ←';v+KL4U∩⊗~⊗∀):
&∃Z⊗NMdR6∞uβ⊃]67∂I5]\M∪↔≠↔⊗+;∂↔_h*"&≥∩⊗~n+9a2*l~u↓I~j+W1k9`&#O≠S?KN≠π1β⊗+≠↔K.s∂↔LhRBJVt):αε%Z⊗NMdR6∞uβ⊃Y67∂⊃5]LLK;∂3.#↔Mβ≡{7∃βπ+K∨↔ β≠'3/_4*
Lz*6∞Y	2*6≥h$$&oIβ'};KπCGIβπ; β'fK?∨K∂β#d4T∪'>m
c+ .;Q⊂HM=
w↔α-⊗}?,≡εGJiw$≥_;
>iλ⊃.LiC"L]Y<Yo∃XZ;k{\_⊗∩&an@Vfpy\_∧a~wsy0\4<P &or CE2, etc.
QUOTES[F78,JMC]		literary quotes
ApiStemoLogy -epist
¬
NOT[F77(JMC]+2p 28-Nov-77	Reducing fpaee problem to qualification problem
NOT[F77(JMC](∞g`dp[≥=lZnn%aSgQK[←Y=H∂eβ|∧bε>]lW⊗∞D
π⊗}-HVjπ=yG6NlqPT-λ→U∧e:vsBd)X5hH⊃_6O⊗>]W≡∨-≡π&N⎇dε∂π
I⊗."∞Mrε7,≥V*π∞-v⊗f]QPT∀Ix4]~iiu%]vwαdTX;Rβ∪uY&∞rVwLv}LW~ε⎇dε⊗f|=7~ε∨
⊗}n≡M↔V∂M→vw_Q(U∧M:Adt⎇K8S 7λε%&PnP→9-Jul-78	General ngteq onepistemolodπr~∃9≠)'m'&Y)≠π:↑I`@bb5∃kXZ\p∪	←I[SiSYJAa←]Kd
∃5≥)β0Yβ		m.fnY)≠π:@@bSβkα95]`L∪∪↔v#¬βSzαπ∂KN∪';≥∧k↔;S∞aβGW∞c'S'/→βS=∧kπ∂#Ls↔L4T*B&N$*f∃]2b*6∞h∧β~X≡V:kva∀-∧~:D,LyIt<L8→B¬¬)x$d,Z4∧|2λ9t<tyIt=HQ)∧
LX∧kH9s6qF@\⊂JMC]	Hayas's comments on CONCEP[q78,jmc] @ 15 April 1977
K@≥∨]7np1∃≠π:$∩E≠S-JAW]=ofAo!ChA∃=C\ACMgKei∃HDXA∃iFL~(→fnr↓MSYKL~∀4T~",XYU]≠w∃DTl9Q⊂L≡YVN≡≥D∧n.]z&N/4
7&␈-≥f*ε∀
&.>≡>F/∩∞W$∪;p⊗→qzv2\FE""S'"j.2[W79,JMC]	Comments on Dennett's %2True Believers:
↓		The Intentional Strategy and Why iT Works
ENERGY[W79,JMC]		ENERGY AND IDEOLOGY
FEFERM[W79,JMC]		Topics tk raise with Feferman
FIRST[W79,JMC]		RECURSIVE PROGRAMS AS FUNCTIONS INA FIRST ORD@$AQ⊃β∨%d~∃
∪I'(]→∃π7.ndY∃≠πt∪≥∨)∃&A
∨HA→πQ+%
A=≤A!%=)∪≥∞↓!%∨!∃%)∪L~∀$HJ>→α∀*εFJ≤JZ*λ∧∀IxtP3*1"QR**uSIz⊗umg∃∩S0kQ;[u↑h→[n∧≤Y=M≡z;{D
yH⊃I~Tuβ!(p4Q	h6umg∃∩S0kQ 0;Ml(⊃x.,≠Y4D}h∪[nL<h∃
}x<Y∧(∪→,@pv⊂)→pyw`.ing Program
GOEDEL[W39,JMC]		GOEDEL'S LEIMA AND APPDICATIONS IN FIRST ORDER LISP
αHYPOCR[W79,JMC]		ON THE USEFULNESS OF HYPOCRISY AND PRETELSE
IDAHO[S79,JMC]		notes foR Idaho lecture on AI
INDUCT.AX[W79,JMC]	FOL axioms for transfinite and LISP induction
INTELL[W79,JMC]		Programs for an intelligent system in Lisp
KNOCOM[W79,JMC]		COMPUTATION WITH STATES OF KNOWLEDGE
KYOTO[W79,JMC]		some notes on the minimization schema
MEMO.Psign
MOORE[W79,JMC]		Commefts on R.C. Moore's thesis draft
MOSZ.LSP[W79,JMC]	recursion counter for Takeuchi function
NOTES.258[W79,JMC]	non-termination of certain functions
ORDER.PRB[W79,JMC]	Proving facts about programs thatorder ordinals
PROBLE.258[W79,JMC]	CS258←PBOBLEM SET→WINTER 1979
QUOTES[W79,JMC]		Revealing quotes by ecovandals, Lovins,Ehrlich,Train
RATION[W79,JMC]		RATIONALITY IN HUMAN LIFE
RENEW.PRO[W79,JMC]	basic research in AI renewal proposal
RISKER[W79,JMC]		THE RISKER
SECOND[W79,JMC]		ON THE APPLICATIONS OF SECOND ORDER LOGIC TO AI AND MTC
SLOMAN[W79,JMC]		comments on Sloman's "Computer Revolution in Philosophy"
SMITH[W79,JMC]		ANTICHRIST, OR THE REUNION OF CHRISTENDOM: AN ODE
SOLITA.LSP[W79,JMC]	lisp solitaire functions
SOLITA.NOT[W79,JMC]	A few solitaire notes
TREE[W79,JMC]		conversation with Creary - Dec. 17 1979
Spring 79 files

AIQUAL[S7→,JMC]		Comments an AI qual syllabus
ARPA[S79,JMC]		report
CBCL.PRO[S79,JMC]	Common Business and Military Computer Communication
			 Language
CELLUL[S7→,JMC]		making Fredkin's physics relativistically invariant
CIRCUM.NEW[S79,JMC]	CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING
CONSTR.ESS[S79,JMC]	THE COST OF CONSTRUCTION
ELEPHA[S79,JMC]		THE PROGRAMMING LANGUAGE ELEPHANT
ELEPHA.NOT[S79,JMC]	.cb THE PROGRAMMING LANGUAGE ELEPHANT old draft
ELEPHA.OLD[S79,JMC]	.cb THE PROGRAMMING LANGUAGE ELEPHANT
ENERGY[S79,JMC]		THE TRUTH ABOUT ENERGY
ENERGY.2[S79,JMC]	THE CASE FOR ENERGY COMPLACENCY OR APATHY
EPISTE[S79,JMC]		APPROACHING EPISTEIOLOGY FROI ARTIFICIAL INTELLIGENCE
EQUIV.AX[S7dY∃≠πt∪βqS=[fAi<Aae←YJAKq%giK]
JA←L↓gChA=LAKcUSmCY∃]GJA
YCgg∃b~∃E+∪,]5≠ .≠9e2*l~t&¬¬~&&Bd)αN⊗ αR"⊗⎇∩eαBα)t|2	→b∧4yAPT
~Y∃2u
(eM≠w∃DTl;Q⊗/F≡>F.v<Tε}2∞<W"ε|dε/∂]~f∞f]l6*ε=H↔∂≡↑1PT452*eU⊃6~mn+	)0s",∀≤z3.
→(≤l↑λ≥~]|↑(∞∞[{qD
;H⊃IyαεE#∩d∧ES.PRO[S79,JMC]	Deqcribing Other Pegp@1JOfA→SYKf4⊃≡ε≥ZM]edR6∞tHJNBε$*6⊗:"α6 2λ¬∩λT⊃p4iy⊂3Q$
p∪tJH1q#!)⊂∧cd⊃i-a[NV!&aWD@	on higher l@∃mKXAββK/∨⊗77πv9β/I∧ε7ε.=_fN≡≡M⊗}r
Hλ-l⎇89l↑c"Ri;thLK%&anBDfp@'q @≠d8A&AC9HAd8A ~∃α[ ≥↑LX
¬MXεqnBDr|8_w22`$ rersion @=H	α\⊂	nP 
r. S and Er. P
KK(
!∀2`≥≠w∃DTl8π"!→8)|dλSsλ∞∞Y{p∪λ4πf Mp. @&↓C]HA5`\Ah"2&∃∩εJ@8∧mg∃⊂¬&aWD@	A↓!%∨!='β_A→_∞Iαλ∧∧9β`
@!U)β%∪iλA→%
Jε∃H4*2M~A:εEZMMedR6∞tL¬FO∨∧λλ/
9{<d\[p⊗H1v0∀∨
LISP.DECXπ&nr1∃≠πhK∪↔∂d∧↔,=~0↔[9P3 /p∧AYSβ≠AβπFK?7M∧∧g-βvP #lpλ}~)→∪'9→∨%7Lh
e2Tjεt''+7C'v9β#'≤εαπ⊗≡-⊗∞⊗LZ2εNdλ	M≥→<c!)04Qh~T¬a[NV 
MC]	∪[∃[←eS¬XAeK5Ce@/~β?9αnK∨π⊗+Qαg⎇+;≤4Tj⊗∩ε≤I2-8;5≠;∃I$l≥Q→T,$_9∀`(αBE&Qh∧A[S59,JMA]		A PROGRAMME BOR↓≠)α5!∪'Q⊂⊗>dz≡dQ)TLT→X∩d|HK5≠;∃I$l≥Q_4M∀8YU≤≥)~¬$Ly`λ¬T⊂(⊃I@i&P'Q⊂#'gfgg'U'`∞IC REASMH
∪≥≤~∃≥∨Q&MM'7&@8π∩dTX;PNv}LW4→[p→λ4rx)≠{0w3H ¬DUCAT@∪∨8XA'%J2*≥f"π,X∞
9]λ
⎇→λ∃
1"T∀IYα"cmTY\V%∪anDDT)'f"Qe`
ENA TO A SCIEH
)∪→∪εA$B⊗ =+∀∧|2λ9tlly`λ
83Pq!QTss	~α⊂∞LSP[S .βI2*6≥h'O?n)βO?d¬↔&∞α8	2H3:w1]4p∂ns
SOLIPλ@:tzRnMαp∞%IS0w!≥Xπr2\β fo@HAS@7∧ε&␈6≥lrπ≡⎇H
.L8∧p∩e pro@≥`πQQ%$
8¬∩)[th@9,JMC]		te@MiS@7|¬gJε⎇`λ
=⎇Z0∩]⊂6pt[⊂47`,dpaf4⊃/β→-∪⊂~@86sJDαS0kQ ∧a`/mmentpεA←\αβ∪Kπ4εBε@yH∃m≥~z3N∀|h⊂~~2yt`3
e79 dideS
~∃
∪%π,jn∃]Jb*6∞hH&⊗BM~R⊗6|b6≡&≤
1αB∀z∀dYZ2∧|dλ∃∃$_i∀L→D∧L@U⊃3	I1q3H_#"Q*~α`f$VβE79,JMCM		DisCussi@=\A←L↓KckC1SibAα3?Iβd¬↔>λ_[m⎇c"R(	6q-g∃⊂S0kQ ∧p⊗ApigeS ng`)∃bAMe=ZAgk5[@↔Iβ9d4*LrZε:%Z∃MedR6∞tHI∃Nεu2⊗*R⎇∩eαxd¬¬∀xhU≥≤→ydb	→e$-(Z5%~V⊂λ	\px<NM≡#"Iyβ*'f∪mbSLK%&anBDj42H'w:7[4πgi ob Artificial Intel@1SOK]
J~∃!I≠%∪≥m
nrY)≠π:∩%!e←m%]NA!I←aKeQSKfA=H	α∂|kCGS/⊃αCK};Kπ↔~↓5β≠⎇⊃β?}X4*B∀zZ&9u∩⊗Z@8VsJd)X5hM∞-wε␈<XBπ⊗↑m↔=8πw⊂≠s⊂1d_x:2iλ()'k∩gαE(⊗f,id⊗b[\V∩&afDBh<v<\t8	n quixotic
REMARK[E7→,JMC]		reMar`↔f↓gkOO∃giKHαβeβ≤¬↔,⎇;<l>X8λ:~ww⊂1≥z⊂77]⊂0q7]z⊂4jβE)b`T&"W)⊃Xib[NT 
MC]	% '9←iKf↓←\Aπα+πKLTw4λS[nL<h⊂↔[⊂0q:~q0	c@%CXASαsS↔3d¬⊗ <αp∞c@∀@	+⊃Q% 84p
"Kα@≥m
`≥edR6∞tM~R>J:∃αxd¬ 84q⊃$λTSs$	U0sλX4H∀	H3P
)H⊗P29_pεt @¬H∩∧→≠πd¬Bβ;∀λfNf↑1P@HαP0I→α 	T[F79,JMC]		@π←[[∃]ifA=\A	K9]KiHα;EαSF)απL¬FO&≤↑2ε@yH∪,]H_;LD⊃88m
9Y0→CE!di⊂h¬M.A@2P↔\rY*l~t&~⎇∩6ε2MRεR→yb∧|d	t≤\λ→R=~λ∧P+)tC"H→4Pu)UP0Tk8Mn+	)0p∞D[7z2yH33y FORMALIP∃βQ∪↔9∧z→α≡≤Z"ε5=→αJεTzH4*≤JJ∞Vjrε∩∩\1P≠JI)T≥h__D$,hJTkRλ9∃∀≥YZ4
∀~
DL@pπ⊂ S ⊂'j∩ ¬R NON-MOL¬∨)∨9∪ε~∀$∩∩%∧20≥∀X→DM≤X∧hAQPr4H~αfW'∪h∧[F79,@∃≠
:∪@7L¬fNnα>P∀[3P77[⊗rw`.otonic reAsoni@9J~¬	∃_
:⊗αK43;∃I$l≥Q⊃∀={;9-n≤h⊂↔[⊂∩P∩Bp¬C@'w≠S ?-↑2+
aQ$$M8:U≥\dp∞%IS0w!⊃4{8-Mα⊂$`.teftional Systems -↓∃≠ε@4A∪↔~↓Ee1β	e]dhR⊗ 4X∧Qk≠qI`≤K%&anBDbw2\3|P !nd i@⊃K←Y←≥r@@5¬#↔33-⊃β'↔,εFNvtλl>λ$!QR1⊃)Yα'mc
β9,JMC]		Not apolemic -an atteepT at @U]IKeMiC@;&K;≥βL∧F.}Mx	o⊃ R3JH3U↔⊃≠\mc
β9,JMA]	Remarks kn Inpentions (p	eS≥K@↔K,!βe¬≠↔πKd)β .≥nW<|Z0_≥∧¬∃∪M%β_9'!\1P≠JI)T≥h~I∧*¬(X∀b∧9yU¬-HZ"¬∀X¬SiJ5∩3i@∧¬αISSP~r→]f\1P≠JI)T≥h→_n≡9<h∞MβP12H24y`#usse@⊂AS@9∧∧w-βzx⊗λ87p∪Sib`→R↓S\Aa¬]KI@_h ∀dx94-\d¬`≤K%&anBDf'aRbP⊗@ L¬∨)LA∨9¬~0≤@1(∃)@ εINISHED↓
VNLr⊗NLhRB"→I∃≥\d¬`≤K%&anBDdg PRAISE @∨↓!⊃&dJNB→i∃≤Hβ"S(ai aKα@nsmnrY)≠π:∪α#@⊗∞n@λ
|β⊂6 %tp	Kdαβ@⊗*
\6∨⊗≤8	-d→9~.Mβy4`!lλ
*l*ε*&p¬d3;≠8c 7+∩S(≠ 0p↔[1rx 4pεA7,∧⊗vNβYyN]λ~0↔λ x8 2oximate @)!K←eSα+@_h*
$*pε+↔⊂βH∂6β8c 7+∩S(≠ 0p↔[vrw:≤β on↓BAπe∃CerAα#@⊗∞nAP@*∃0
'⊂dW#≠Nmc∪@9,JMC]	Commentc on @!β+S 6≥P	nP⊃!`/mputati`∨]¬XA!gβK∂#?d¬v ? εE∧BD@	 @¬]HA∪αsS↔KαλL↑_8
4[w⊂ ∀heor`24⊂
BfeJN!hfsM\d¬`≤K%&anBawvvYw:0∪ on @!βK3gOGK9∂Mα∩≡}↑
W&∂M_md_;Y∧{y{M≡~;p↔∞αλ
(HH&'O≤εV/~
_D∞~→(@4πundatio@9`
β?2β∂?∨vKS'[*β@≡≡≤XL<αQ↔εBαQUANW80 dides
~∃¬ββ'↔\p`@2Tj∞t$M≠#/K ∧εfO>@λ
|H→P↔[v9P0[2⊂77[⊂37`/ls
ABOU@)m(
aAdR6∞tHJ/;?>K;≥β∞∪?WPhRε∞Uj5∧
αunε¬⊂S0kQ5≤X-nx|Z.∞λ≠p∪λ afP≠2qz:\2WεE⊂b+$aQmk\λ%&anBDx6 !n fo@HAβIm%GJA&/πI¬βC/+,≠P$(→∃@:β\_⊗∩&afDBw3z2\P37`2 hec@QkeKf↓←\Aβ$ACMHαβC#'d{@≡␈
∂⊂hT→hD-∃5ie≥]wεαdTX;PL∞βY→.9ww∪\P9z0[20y2λ9x2rXtεE T()'l⊗hπ80,JMC]		J`∨I∃`
β?pαπCC⊗{c'7∂#∃αSF+?Kπ-_4*
Z⊗I:u~fMaαb*6∞hJ⊗∞αy0→	yP9z_w20y→⊂9x"YqtεE⊂αARWIS[W80,JMC]		coNta`∪]LAG←[5K]if↓←\A¬¬aoSg∀OfAYα+∂SW⊗)βπ≠ β;?S/_4*
-J>:∩]9aA∩Tj∞t$L≠?77,sSMβ}qα∪↔vs↔SQ?→↓
/K?;⊃∧∪↔3'.1⊂h()t%M8wβαd)X5hHα0[lM9<h
|H~{M}{→9|!"PJZrSJ;un¬IS0w!_]<z∧}h≤⎇≥Y_<LD≤|⊃,\zβ"H`fh!⊃mk\_%&anBDg7j→yP7gλ∩Y"2\βcriptive EpistemolodπrtAAgsGQ=YP∨∨N≠π10hP$$&≡{∂'?f{⊂≡N<≥Bbε≥lB∧∂myG/&≥⎇f∂↔∀V⊂hP⊃⊃⊗↔JλMvv∞L@¬"rλ<⊗oε,YF`HαPp*Zq2ugε	∩S(;""0h~4p3	~⊗(∩)@⊂)`→STEMS OF INTERACTINGAQTOMATA
AHALLE[W8⊂,JMC]		Chalhenges to seak AI, espe@
SCIYdAi↑AMGQC]-SCLA¬∩~*≤JJ∞VhrJ⊗B]9aAI)T≥h~(U∧d_Z2¬$tλ4l@313JJh∪sD∧QStIX3∩6I→Qh∪h→p⊂3$zh⊂P+)tHC!λr4PjY+U`≤-k\λ%&anBaty1]vyq`2ipti@=\tAα↓
←eZ↓←DA]=\[≠←9←i←]%FA%K¬g←]S9J~∃π=_
ε⊗≥ZUaAdR6∞tHJGW↔∨#'?;~β?9β&C∃α∞|rε⊗M¬∪↔C?↔ 4*∞|r2ε1trNn]C↓2*6≥h&∂?vsπ33J;@~π>L⊗v&≤,Bπ∨XV≡@Q(4`:αg*"VβP∞p`1∃≠πhH&∞ε∃"⊗Nεqα∞≡,rRεJ4
∞@%X→E_h(:$,
+≠5 7∩IXw"",={]P∩\αsa`)%←]fAβ;'S!∧≠C↔π↔H4*∩M~B2ε]9aAI)T
h⊃_	
≡|≠⊂⊂↑P9z`0ph	`%∧∧6}wlXNpz4`/ns
DISSENXπ ≥aαb*6∞βQ⊂L&≤8l]]~0↔→β o`!%]S@?w→↓#7L¬f*Hβ"Q	@lf"mUβ80,JMC]		commenp	fAα{9α∪|π⊗f*|∧h
>_;YM}Yλ⊂⊗→qz2`2e
∃1!!α+5 7∩IXw"",]→<⊂∀_w:⊂ .otes
λ¬⊗:-∩≡e:∀J0≥]wααdTX;PN⊗α;p∪\αaphy f`∨Dαβ↔;↔⊗;eβ3,∧7'<Y0→CE"`∩RLπ% .αp∞ε¬⊂¬&aWD@	`'α{7*8m]8πw misu@MK@⊃β>{@⊗'1Q$44∧bi⊂mk\0,JMC]		fo@HA`∪#*βC#'d¬w=|~~,<8ε⊂ ,exic@=\⊂∀(j$@10
kN_⊂JM@π:α∪Q⊃∃α5∩ε ,T
¬∀|)HTj∧α3@⊂∃$"P_N\_9FBαH@∨∨-0∞@;∧¬DTl8π"!_(⊂	eVd ∂OK SU@!A_∞JR,!α
@∀	u∀∀~I∀`(βP ⊂ART@∪π1&~∃!_∞ <αkS+hπ8  1∃≠πhH&¬αα95LDβsrd
u0λ(∪βRTED BP∩A=%¬∪)%_
:λ∧⊂**⊂0sλZc"R(Hα`iW∃β80@7\p`@2Tjεt&≤≠↔;↔~β¬β3λ∧∧,<Xt\β`

∀$∩∪βIYSGJAQCWKdαβ@≡F|XD_Y0∪Zw⊂;t]4⊂22Xv0p∩ative d¬P∨Kn3'Ohh $⊃_∀Oε
_∧~<pn↑|z0↔[⊂7w indi@YSAkC0ACgGβ∪'CSL¬vw_Q!⊂HHα(⊂↔Yα me@9iC@1∧ε↔.∞M~FN∂1Q HH≤≥g&G-zεf@yz4nNh≠p≠→y0qaYx:⊂(≤4rt`4ive Ideac
λ	↓	Diffe@IK]iS¬XAKcUCiS←9b~∀∩$∪πSe
k[gGβ∪'CSL{9βπv!β';&+;O'|sπ3''H4(⊃⊃∀>}≥lrε&}⎇`hT~:$,Ej5∧4¬c@80,@∃≠
:∪'aα+↔∂!∧∧↔"∧α0S$∞|∧vx≠ytr`- i`≤A!CSMB4⊂
*>LrRn]@εαdTX;PHL)y∀`*λ∩sI@hπ@→⊃∂
4TZ⊗ 4hXB`)Tp
kN_⊂JM@π:β↔∃]P≠↔'I∨Mβ≤εF∞vL≡&"π>λ	,\zβ"IItq4Khπ8 ,JMC@:$∪∪%&↓IK@7∞s∪Mβ&CπQβ⊗;/M∧¬6.<λ⊂→→qwq2≤β @∪%LAQ←gα+@_h)K∃≤,i;5 7∩IXw"")O<y0↔~wtqfH4p∞ Energy ResEarch
ME@)¬3 ≥aαb*6∞βQ⊂L@9=_.
~;⊂↔\βophy
MINSKY.SE1S@.``Y­
:∪≠Sαs@≡←α(⊂↔[⊂)r`!ph	J~)_
ε6Lr≡n]A↓2*6≥h$&εJβπ;⊃α∩0⊗∞β:0↔→T∧ NecassIty and Fatural Ki`≥IL@∩*|2~&∞-ZP≠C¬I$l≥Q⊃∀:R5⊃*)0(⊃I@i⊂ ∃SEFULNESS OF COMPUTERS @∪≤αα6~~L~⊗L4Tz~~&≤)1J@8sβαd)X5hL8∧R*H4R0$λSt@
Zq1U)IQ0td	qH⊂iyαh*j⊃i)P$S⊂#c#∩abaFB'h 'T*-k\⊗!&aWD@	Social effe@
ifA←_AWKKββ';≥¬βW3L≠πS'}s@~ε≥`π&FTλ6}o∞↑F/⊂Q*∧⎇≤¬ie≥]wεαdTX;PO&}∧εF␈LYG4_;Y∧∞Y<⎇≡<X;NNc"T
)pS⊃+~β\_⊗∩&afDBa0	lL wantq to have an affaab withTom's wifE
REAGAN.NS[W80,JMC]	Reagan's standard SpeecH
RENES ≥!I≠7.p@Y∃≠πt∪eK]∃oCXAα{⊂∩εn<bππ-}ε␈≡≥APE∀yX∀u%:wβαd)X5hHα4≤Mu=→0m
[{∪l@|P6z\z⊂0x≤2pv⊂≥4π the imagi`≥CQS←\~)'
e7\p`I∃5π:∩∪9←iKf↓←\A'∀dACM→CSeF4∃'βI→'.``Y∃≠
:∩β@≡C?KQ∧∧⊗v"∞>v./D
6.∂-HRπ⊗\nW&∂M≥vph*8T
∀HUc
]wεαdTX;PNv}LW
ε⎇d¬≡.≡-F(h*8T
∀HUc∃]wεαdTX;PL≡⎇]V.wN4ε}r
8	,≡Y→)n4λS:-l≤kλλ.X:;N4_;Y∧
≤[yn,8εyQβE)baT"j↔'∀mk\_%&anBg2{yH9z7y~ryP:~0z⊂+\7w3v≡P92{→pv⊂ 3ecretq
SEX[W80,JMC]		CoMmefts on Evolution od∧A⊃k5C\A'∃qcCY%ir
∃M∨π&bfMaαb*6∞hH&N>≤Jε1α≤~&⊗:≤)α&M¬2⊗Je∧~> -	I∀≤
HX@hU:H∀t$≠:sCαI)T≥h⊃~D
∀xZE~∧iz"¬≥H→d$
(I∃T
I→tpH*H∀d]:wβαd)X5hHα;[nL<h→M}H⊂p*8Th≠md_{p⊗\:z2y~⎇0z4[wεE*⊂f%XmU\_⊗%∪anDDTgad`S⊂'h(∪i**g∩j 	ES FROM COMPUTER TECHNOLOGY
TECSOC[W80,JMC]		SOC@∪Qβ_AβQ)∪)+⊃&A)<A)π!≥∨→∨≥2@ZA→←dAβ
~~∀→'ae%]N@bdp`AM%YKf~(~∃β≥9∨#≥7Lp`Y∃5π:∩∪¬]]←k9GK[K9hA←L4∀∩∩∪Q/⊂≥αd*∞@%X(U~∧y`∧4⎇)X∀dM(XB∧tyeTl|izD|@R0h
(04sii3Qc!(4SJ;tj∧¬IS0w!⊃04λ∞>≠|↑$
{H⊂m⎇<≥<l↑]Y#!(4T⊂%jQ0⊗j7∩IXw"1I~pp3∧104Dπλ⊂(8pπfh∪$id&QdεTS AND FISCAL YEAR 81 PLANS
CASBS[S(0,JMC]		report on AI and philosophy group
CHI@πβ∞]9'7&p@Y∃≠πt∪]KoLAgi←ISKfA=\AπQ%GCO↑↓[@↔↔&K;≤4T~&J∞,i:6>∃ZMaAdR6∞tN#Kπ≠"β?→β∨+CC3.k↔;S∂∪eβC∂β↔Iβ}qβ∂'⊗≠W7O≥∪'CSN{84*≤b>N⊗%ZMaAdR6∞tHK#?]π#=β∪zβ∂3?≡+⊃β←␈∪3⊃β∂≠OW7π#'?9εK9β?⊗#';π↔Iβ3?>K4*≤z:∞V∃ZMaAdR6∞tHJ≠?Kn3'k∂#'?9ε{⊃β∂|¬f∨/.,Vw"Zf.wN1PT≤yj4-∃:7βαd)X5hH≥mw&/4λf␈∩∞<W6/,Tε≡}n<Wπ6≡M⊗}r∞↔ε/!Q$≤\h8U∩wL←¬M≠ε¬DTl;Q↔≡∂lZ&*ε=yg≡/.l↔&N⎇dπε∂Z hT9ye$,k:3CαI)T≥h⊃_6}n\XNNh≠sDλ→;[L↑≥	|d∧P{p↔≥2w:⊂_w2⊂![w9q`)ousneqs"
CS206.ABS[S80,JMC]	Description kf cpεd`l↓oSiP↓`∂?7*β∂?7nKS .]nGλh(IuLdY:3CαI)T≥h⊃≡6F␈.@ε≡}]\Vw"
xDλ≠}3T|h∃
<z0→CE"'lS"W→-T\_⊗%∪anDh≤5x7iXv⊂:7H i( H7w⊂"≠|r2S\P;wy~β
DOYLE.DOC[S80,JMC]	proposal to ARPA @=\A	←eYJOF↓o←eVαβ⊂⊗←$λL↑≥{tMP9r`.di`≥N4∃↓>Lb∃ 5λ)u@:n	)0s".∞8H⊂→[zy1bH4πf Doyde prg`OpπCH~)⊂∩⊗∧BεnMβ¬IS0w!⊃<|⊂→~w3P_N\_⊂#≠y2P'Yα el@∃aQC]PAaCAα+@⊂@"Q3λZ∩⊂#F+tn_%&anBw3z2\β on↓KYKa!C]h~)1)%∃≠7&@@εαdTX;PHNN,⊗7λ≠8.L<Z0-D≠{@←≥≤Y-\αP1`/nservatioN
GRAD@'↔Lp`I∃5π:∩∪≥%β	
↓'π"|z1α≡∀
6&ε∩αεMαqαε%∧bε*≡,
≡∀4TJ∩,~;5≠C¬I$l≥Q⊃∀f∞βY⎇,≤βrP'Yα co@5[←\AMK]gJ4⊂∩$L;↔;↔⊗S∃β∞s⊃βS-≠P (αB"!≤α2P 2e be@1SCLA¬i`∪KL∪WS'}sD4(HH&GW,ε&N∂4λ⊗v"λ9vvV\8
∞↑Y<h
≥H⊃0⊃[w7vtXyFE$S ∧OORXπ&p`1∃≠π~$∪IeC→hAYKQiKdAβ#=βO+⊃βCK⎇β?O'v9β#πα}7.ODλmd~;\n]_9~-⎇C"R)Hα'gi')eiN_⊂JMC]	beportob EPA fi@9IS@;?→β?9ε#π;∨-∪@~ε|dεNw>]F∂&≥⎇`hT(≠∩tu9:3CαI)T≥h⊃≡ε}f≡M⊗≡O,≡FN}d↔~ε≥`∧∞n↑-⊗≡∞dVv/,␈∩π≡≥m0hT8ZD|@Q0
iN_∩%&PnDDa[vvr`.ts on Ketonen's proposal fkr A prood∧AGQ∃GWKd4∃≠≠<Y!+¬m&p`Y)≠π:∪MaKGS¬XAM←β∪5β≠⎇⊃βO?n)βCπ∧+H4*t
RVJ
ZMaAdR6∞tHJ3πS/∪π1α↑K;∪LhR2M~u~nMaαb*6∞hH'π␈+Qβ;/;MβO/∪['∂/→β↔Ls≥β?63↔K↔ h*>:$z2>n≠AA2*l~t$&$B∃α∞
~∃α~⎇⊃α>:$z2>≡L~ε1α,rJ&∞Dj⊗ 5AQ%∧5∩5	≠tj_%&anBDh"j∩j ggλ*#P&T↔⊂) SiblP⊂d i%CE($`Qbj-iN_∩%&PnDDfXy3py→z⊂!7Y2w∪yH∩Y%"Xw⊂($Xqrz∩LT⊂+4Zts3@∀92yyH_X\_βE()'Q*aeiN_∩%&PnDDh∀'b*aU$gg∩iP*$⊃P)gf∃j 	ON TG TH@
A9%∂2APRIL 21, 190⊂@h*R⊗d*6¬:u~fMaαb*6∞βQ∀7⊗]l6BπLXM]8π0vλ860w≤FE*"T&dg.L¬'7&``Y*l~t&S-∪7'l≥Bε/∞λW-8εr`.ts
TIH
]!∪'7ε``Y*l~t%EK)eα↔,¬VzπMt∧n␈,8	$
{H⊂~~vrVyZ0y4g→FE*g⊃ ¬RS[S80,JMC]		UH
	I'!β≥⊃∪⊂~≤hRf⊗J<J0∩th;5≠C¬I$l≥Q→ε∂↔l≡&"ε=xLeH≥4L\αyP #onse@ImCiSα{9β≠|ε"ε∨↑Mv&28mn~;Yl]X}#!β)zvvYy⊂⊂⊃dp`AMαK3↔LhP4+d¬v≡←5k6+C¬H
M\w"0L≡y(⊂⊃\β226 on blocks worlD
BLO@π↔&]⊃≠!7
``Y­
:∪M←αaβ∂?⊗)β'↔∞;∃β≠|ε"ε⊗Mx6@>h≤∀M⎇yC"H_4KSJ;q.∧¬IS0w!⊃88[n↑λ≥<l\λ_x..c"PmN_{p⊗K69x-Y\_⊗5≠qnDb↑0rx6→yP3'\α co@5aSYS9JAMe=ZA[k1iSaYα)β/W'βWQβ4¬w-αP:7H&$ihβE!gfSec↔-Q\_⊗%∪anDh≤4πgbams with C@=[[O\ααO.n8PhV?_λmM8ry'ελε5 -c]		Induc@QS←\AAaSMGαKC &Tλ	M}H_p≤Xv4qP≠4yz pπieK
i`↔K,ε0HHβ"P⊃↑qv4`#,¬P∪O¬[∃aAd¬&n≥Q_g.v>M⊗}w4λ	M}H_p↔[x:z4[3P;t]4⊂1`9clic listqtru@
i`↔K,ε0hTI→ddeie≥\U¬IS0w!~≤[qL↑|{p→λ50tf→p∧ f@=`	βK,∧g/≡≥lrπ&tλ
]≠λ⊂∀≠{P42H90∂ded.¬
DUBINI,¬≥'↔∀p`@2Tjεt&≤{['↔ α∨π≠,εFN≡≤>B¬≡≤ε0→H"|8"\αi`≠KαsSL4PH$%α,¬f&∞βYy.⊂ 
arxist↓∪@∪↔|¬F}∨⊃Q$,\βTHYαhE80,@∃≠
:∪π←αk7.β]≤d
{H∩l↑≠{Y-d|h⊃)9β"Q)Y1tP%@-bT0,JMC]	BIOLLπ∂βπ¬_Aβ	Yβ∃)β≥&A∨_A)∃∩&@$βtR(→⊂5⊗$λ3Q⊂⊃ddci⊂j 	ON
F@%∃	∞]m
p`Y)≠π:∪β##∃β≥+C@6α8 !l of d¬eKKα#?5↓h∧ε -βy⊂%→y90→ Ph∂ke9KYYJ4⊂
5X∧r)@dε.KE80 →∃5β:∪←αqβC#*αU*Mp∧∧f∞-xD
_8	:≡P0w2λ εus@%←\A≠¬H∂πkLs∀4
<Jε:%uZ∃aAdR6∞tHK; ?LXd
{H⊂∪≠y0
alizang phe opera plo@P~∃∂∪¬→(]\)aAI)T
h⊃_
.L8εyP→αh∂dAα;'πn@ε -8ε2P≤90∂`!α{@≡∞ββ"HzR36lW⊂∃≠qnDD\βome dπe@'h∧ε∞vDλ
-n≠→0⊂\βaft↓Hπ∂'_4+∨↔+7Ek6+C¬H
M\w"0m≡X⎇0⊗\qy4`0tign↓SfAgα+7%7&+∂'∪∞∪3∃@$λλM|\[p≠H892`&ace
HIROSH.NS[E80,JMC]	Rem`∪]%`∂∂↔v≠↔MβL∧b¬&≥m⊗∞r≡Bπx8	'pεAK]⊂~∃⊃∨1
P~@8WβαdαS0kQ ∧b<[0p
i@AπC@≤¬⊗v:hn⊂ λo@1JAiQI←kOPαβS#∃∧≠↔;S,ε"ε@yH⊂~~2P"`\αph
IDEAS,¬7
Pβ↓2*6≥h$&K,ε6.∂,9αε@Y90∩→p∧ o@8ASMm∃]aS←αqβ 6\X	∞⊃ R3J:3SJ;q*_%&anBh;wP≠2{p∪ pπi←E%KfA←αqβ∪πv;↔KM∧¬v $≠yP∩\α-insula`)%←\
∃1β∪¬	∧Y→'¬Z∃aAdR6∞tLcπ7&	β∂πd∧7.g↑4εNwLXN∞Y=→.↓α@
LISP&@7∀p`@2Tj≥h⊃_λ,L≤Y4nP37`2 hic@@AG←]→KeK]
J~*dJNAd∧VhW∩IXw""-mβz2`3 f`∨Dαβπ&L∧Y.yP3 /p∧AYSβ≠Aβ∂|¬f&/,XL< εE&Pai'W∪)h ≠E80 →∃5β:∪Sα1β .≤8Mt_;Y∧
αpqb→pε macr`≡~)≠β)π Y→'¬Z∃aAdR6∞tM≠'7Cd¬⊗ -8x=
≥{H⊂→≥v2yP≥ytw3H πabria`_AαkπS∂F+@⊂@ S1)Yhπ *P-bT0,JMC]	spe@
SCHAβ3↔KOL¬vrεmxD	∩4t∧{{YL↑Y;XlT_9→∞,<|c!	3sSj	iVq'ελε%&PnDw0]8¬ral h@?v{C?3Jβ'9βL¬f -βy6p]4sw pπi←e¬KB4T¬W.gM≠6+C¬I&n≥Q⊃⊗o.β≥~.
α2P']z8:jλ64y`0 functigns - CLT and JMC variAnts
L¬∪'¬∃(]'
``Y­
:∪π←αk7πnN2ε}d	fO≡,ZG"ε≥lB¬⊗|∧|dY{rd
{H∩∞]8;@⊂~w32i→w1rFB')W'∀mbTλ%&anBDrv %ctroNic newspaper e@aaKeS5K]i@_h+ 7<k6+C¬I&n≥Tε#~L≤¬0∪K\_∧DSαSF PrkpoSal fOp∧AECMSFAe∃g@↔π⊗≠!β'pαε%↓A	eaAHh*>∞⊂rn∃aαb*6∞hH&7↔nyβS=¬≠↔3≠⊗K∪∨∃ε∪K∨≤S'≠8∧εv/t	t
∩∞⎇wεXQ*∧
%HZ"`)∀pλ-Q\_⊗%∪anD`)nst With Catch5iQe←β9βπ≠ ∧ε∂~∞
6/.MuWπ⊗\M⊗≡∂LQPU∧α∩3
λ+Rq'ε	∩S(;"38hpy:4≡P(0x→y9P'[⊂(44[4πso@AQrAC9HAβeQSMCG%CXA∪9iKIY%KCMGα(4*Be*R>→trNn∃@εαdTX;PM⊗≤\'/⊗βH∀nMβy<PP6t`3leading about @AY`↔S|s'W∀hRBJ>%*
 5αq.ε¬⊂S0kQ3yP∪~qrP [2⊂1:\2pr`#p¬CiSα→βCK}#W∂SM3'SdhRJ⊗Za0∀e8∧⊗hW∩IXw"5
(∩5≥~8;D=X;∧\[s$ε,-m$8π2 compapiso@9bT4U∩0≥L9ud`*vq.ε¬⊂¬&aWDdw:→y;4`%w wi@QPA%←βK'<4U~⊗ $h~αte8∧⊗hW∩IXw"0⊗~yx⊂"↑892i\tp∂n↓oQ←g∀AeCYUJASF↓SigKαc⊂⊂H*8TlLh⊃e\+ε¬DTl9Q∀↑v}⎇F.→y(≥Yλ⊂,>~;sD∞y;:-l<C"J91s0%Kq*_%&anBDigaR`f⊂!SdεSEQUENCES @∨↓∞ <X∧∃*H4H∃λXp∧''S'clVXq9z9_qzεE∀ef iαNSKE80 →∃5β:∪πα3'≠|ε&vN∀
6}f≤ λ∞∞9YP∩\αy~∃Qπ!trNn∃@εαdTX;PL≡u]wε/,≡FO6TλL↑y8<L=λ≥3M≡Y<\m≡≤∧P⊗H4p∞dustr`24⊃`∪#⊗+↔:@<Wβαf-\5hHα8 ⊂_t4x⊂→αh∂dAβ##∃↓α8E6(→P~[1z4`/n	α`)!aKK\αs3OB↑)aAM)V≥h⊗9b[
h
-l⎇~0↔[⊂0q`4ion ApεAIKβ#↔K]_L\λ_↑$
h≠⊂↔]P7y2→y⊂14]9P∞
TOP@%%_	:n+AA2)X5hM=x,T≤~~-Mβyw`0hy and AI d¬SIKβ_4+[∞;W-αy.ε¬~[8kTLk,≡9k ≤∧d7`7 to @→←e@7∞c'k∃¬3π?\Tε≡}l8	.∞α9FE∃βINE.L¬'7
``Y*l~t'O|¬V*ε⎇xlD≥z0↔→yFEβ dh$∩d∧ ≥π9∂72M!2*6≥h$&↑D
Qαit¬$|JYT*∧βqH

Spq(X⊂∧g#T←FE S π@∨_9'⊂~≡\b&@"β∩S(nDD`S π@∨_h	a↓G#W;∃Rα'Qβ∞K9∂Q∧¬V*ε,≤&*αβ(⊂M|H⊃≡-L8π∀FBαBDAY,¬→∪)m→∪(Y)≠π:∩%→∨∂∪M)∪π~α0≤2λ¬∩λT⊂R4JI⊃⊂6$
⊂4U∃α⊂%*S,P⊂∀0@b`%;04*
dzP≤LeiDM⊗s∩*E⊂¬&aWD@	Blowin≤AErA→KYhA1CWJ~)∞εJ<y0∀d~K4dMEI$l≥Q⊃⊗ .X9{,]]λ⊂↔Yα Cardπ↑Ae∃YSOSα{9βSα,⊗∨ Q(4E∀~:B`+pε$j%&anBDf"j∃ ¬R TLεA)⊃∀Aπ"α)∃≥⊂∧`gλ( λ@3M∪π&≥"L4≤¬w/εL[6fOEH
M\w""!≤α|:2[9tw`. h∂LAMC[kKαaα+⎇
g={H⊂⊃[zx6 %tλ
*$z≤$α3II5⊗s	~α⊂JM@π:α∪]⊃β(AM⊃∨+→⊂A)"*α∩>∞αIu∩∧IwphTx~$$tUj4`(βmf$U⊗ 
MC]	∪¬¬YP∪π ∧ε}H⊃x.272`2 Lindzey
GH	+∂≤X
nI~BdTX;PHHα3>$	~9P∩H$p∞ The @'¬mCOJ↓(∂'L@λ¬T_XP∀zypwλ&qa`!p¬`∪#Hh ∀pε*cQY↔ ≠LIPλ@2Tj≥h⊃_⊗v@⎇~→.⊂;2`2pπS@?p∧ε}H→{∞\βsP⊗H1<P)]ypw McCarthp∩~)∂ ⊗&e!0∃≤βQviI5∩IXw""(zαdf*λ)`∂NG - f@IC@∨7,¬g @ ¬$"PhεEN[LIT,JMC]			n`∨@&+@~ε⎇`λ∞M→(⊂⊃≥y2pzXy0q`9 h∂LA!KCmKαp4*"MαB=h∧sH{pε$j%&anBDj$"H$ 	PPLπ!>$
6@-4
4`9β#P "y Fl@¬]IKeLAC@; εO←πph ∀DβpPI~α⊂∞ %m→∪(Y)≠π:∩$dbAYαK;↔LhR">
∀JQ9Nβ9DMλε%&Pβ]↓	LEP	)I&A
∀z5α≡|r∩>Iαi↓]Y∧¬FNv↑1P@)⊂πa!∩h∧ ≤@%Z2&QdR6∞tHJπKL∧F <αy∪yH(92`&ace - 10 .αβ3'lXaQR∪pH$j↔5Xπ⊂∩~@	)0p∞DBh∧he 10λdcL@ZA←β⊃α;|¬⊂≠w0`2↓S\Ai!JA'Q%`∀Q)∧`8PR5¬@!$gmS$j⊗%∪anDDSαOTABL@
A⊃=

&%_4*"|∩∀MEh5∀Mαs∩*E⊂¬&aWD@	Kidding asi@⊃JP⊃α&{3/',¬bππ↑8
↑h≤p↔[p¬ v@∃`ehP$$⊃_λL≤α⊂4`$eas @%\AQSβ→β@?-_

≥YxkAQR∪pH$j↔'∪βP	7→%(Y*l~t$→mw&/4λ	M}H∩≠l,X∧p∀s i`≤A≥←]I←β⊂4*"|∩∀MEjE∃-9I∃"dαS0kQ ∧ggλ* λE T@βπ!∪⊂~≥∧z→αRDJJ"λ_t*∧α∩4jItV#!∧@			IHA≤B&J∃¬~ε"yyE_h-∂↔ε/+=FO"M(,;""",∀≤|⊂∩Xzv0z~wwεE∩a&W)Sα@∂7→%(Y*l~t$~|R∧⊗]Hmlh≥≠d	=β"M8¬dgme[li@PYU@7≥h$$→\↔&F]\↔&N>4ε -8⎇~-⎇H≤p~≠y<FE∪ ¬GUIL∧]π∀J`≤@⊂∧j,JMC@:$∪!QJ↓→CiQ∀A∨LA!KCmKαqβe¬+@↔∨]Hλ$	→(⊃n]8π⊗⊂⊂{0∂nbrnb4⊂
6εzr`≤@⊂∧j,JMC@:$∩∪⊃k∧OfA←αqβ≠≤.7 @"T⊂*(1∩+J9β#mf∩h∧ →∃5∞t∧M""*λ∧⊂*(1∩1iZh⊂
$⊃lP i⊃P VaR g#dSα ∞AEdA∪πp∧∧&.β[Y.NαεE∧BD@	and Bo@λA≠@?|ε&(h*λU"tI~E@9α 	TJMC@:$∪↔A∪⊂~≥∧BV ,→j2∧
4
∧-¬1Q'ε@_8m[4z⊗ *mc]			Play abo@UhA
e∃JA*AMkSGSα#∃β∂|εW.y#"J80PP*ES∩5d∧@∪(1∃≠πhH&N	∀∧
∀T
DD4Q(
I∀Q1$
p0PH~⊂∧ ∪?
SAYIH
∞]m→∪(Y)≠π:∩%'CsSαs⊂∨~
x	D
XεqPP390Yvrw:βE)adQ$W!i∩m`IT,JMC]		SCIEH
π
↓
∪π$J0≤@H⊂4d
∀Q1	_u∩3i@∧¬αSLLπβ≤]M_
=9I∃"dαS0kQ ∧j$⊃P)f'Pdε @%¬_
<X∧@∪TP AMEH
(~))⊃β∪LX
Nh{4dMEI$l≥Q⊃∀DXε⊂)Hα)$`CE;7`9a`∂K↑c'QM(,; ""(≥H~0↔≥2y0∪@QKYYCHA`≠⎇_λ,\αP8 ,ot
Zarya[lit,@)[G:∩$∪π←[5k]@'≤¬Rε∞βY⊂⊃2zr0[4yv@ -Phe dq`↔Kα#?5β|∧b∧o%`λλm{Yc!λcommenSf80,jmc]		COmmentary On jmc pap@∃`Mβ|qβ↔CLε7&.]x
|z8x-D≤≤[l-→;<d
yH_-⊃"X{n]]→6lG~M\w""(_4U⊃*903@⊂⊂ejg*⊃i# aU*`f)CE2v"Xz7ms∞_∩56XnDDi→{4{ )ng the elEctoral coLlege
ANERGY.FAA[F80,JMC]	FactpεACE=khA	%CEY↑↓C]HAMC\A∨9←MeJ↓]kGY∃CdAa1C]i@_h+↔;,ε& ?+[→.KyN_56qnBv2z:→y⊂9w[4qtj~w3P9Zsw0z≥y2yP≥4π statement
EN@%∂d]≠∪%mp`Y)≠π:∪⊃eCMh↓oSiP↓≠Se↑↓GQC]≥Kf~∃∃≥⊗J=I:B¬∃Z→aAdR6∞tL;?SF+AαC∞s?≠O←Iβ';∨#'∂π&+⊃β∪⊗≠P4T*:εJ=I:BεuZ→aAdR6∞tMβπ;?7≠/eβLsOS'>S↔⊃ε#Kπ≠ h+↔;-∪⊂∨Jn,V5↑g¬M[8w!≡Y9Y.;Xq.∀≠{H
n8{⊃,≡H≤⎇≡→;9-nβ"Q-l<Y}%n⎇6l@≤_⊗5≠qnDp[7z42\⊂290Y:εE2[2y3|K9z→-Y≤_⊗%≠qnDpH60p∀ep dbafp than st1
ENERGY.STA[F80$JMC]	pep¬QCaβ→βS#*β∪'K≤εBε',≤g"ε|d∧≡∞M≤f␈⊗m_λ$;Y0→→βy statement
ENARGY.TEL[F80,JMC]	Draft with Tellep∧AGQ¬]OKf4∃≥I∂2])∃17p@Y∃≠πt∪CM←β##↔I∧+;↔K?Iβ∪K∞3P$*,r⊗J≡Jrn→aαb*6∞hJ∪Kπ5!βOS∂#↔7↔w!β≠?⊂αN∃HhR⊗B&≥"∃ 5αqNε¬∩S0kQ3SuλZh∪sDλ4∩4jH33s	Xr0p)D∀∀Sh&"fiH'c⊂ RFE2yXpx2mY≤_⊗%≠qnDDQyqpx~w3P#≤4πm Fires - fo@HAQk[¬\[]Kβ#@_h,[πε/%k6 '∩M\w""$2|82\αience" as a vAgue ConcePt
∃
%→&]mp`Y)≠π:~)∂β≠
9→'!\1aAI)T≥h→]v&Nm_V"ε|≥V*εm→F/_Q(	m⎇y→⎇+≤L∧⊂⊗~4¬c]		Good guys expressi@9H
βC⊗{C↔I∧ε6.wM→V.wL∧c!(βck*-c≤λ%&anBDh2`/phe To be consIdered fgr↓`∂∂'.s∂∃β∞#['O|ε hV},⊗&/9<cCαM)V≥h⊃_6␈/,8	$|X9↑c"R
Y03SEkqJ∧¬IS0w!→=~~,]λ∀∪m⎇	|h∞88u
≥{\h∞MβP$:[pVP'→z9FE∩b"`iK-c∀λ%&anBDx92]4r{@_8z0∀on, cRyptanalysT's skills
λINNOT¬α\emp`Y)≠π:∪M←[JA9←iKf↓IP∨I∧J0∀tzh⊂hT→id⎇4∃k43C¬I$l≥Q_D,4YhDL@Qh⊂)hα⊂"l∃"g"$Sα@∞A$B∃α~α(T,$yPλ
Ih∩3IiuP5λTλεP#≠y
			Po@UaUKY1JAG←αc3↔∂&K?9α&C∃αO,ε'6Ol≥Bε@yH⊃N,99≠mQ ¬$g∀hf @.LS[F80,BMC]	radon¬
LEFTOV.[F(⊂,JMC]	lef@Q←mKeLAMe←4AQKiQKdAi<A≥3(4∃QKO%←\]7_p`IU5G:∪i!JA*]L\AM←β∪↔'∨rβ3↔∨L{84*dJNA:Lr&n→@εαdTX;PhTX→DLZd∧6hg∩IXw"0m⎇;90↔≥9P7gλ&pv$Zβ 206 pro@)KGh~)≠≠≡9!+¬7_p`@2Tj∞t'n{∪'≠L+⊃β[-∪@≡Nβ{@⊂≠s⊂6r[wS8:X-v2`4,jec]
MICROW.NS[F8⊂,JMC]	mac@I←oCmα)βOπ4+SdQ(-|Z;~%@-s∀0,jec]	I`∨E%YSuCQS←\AAYC@9∧3?Iβ&S¬β⊗OπLhS;?;n{:o→@εαfV\;PHLmx
↑h≠p↔λ53wε[ww7j≠w4qP≤2pyg[4p∞g
jrc[d80,Jmc]		Aomments On Sc@!oCeihA←\A¬∩AM←β⊃α;π&K?;πbαπ∂π&+7dQ(lL88VlG∩M\w""*
βzy7→v62P≠p¬`≠↑↓←\AgACGJAAeWOE¬Z~∃aα3'; ¬c∃↑g¬MY8w!≡_;∩-l≤[s-≤h_smn~;],\λ→P→_qz4g[⊂22c≤β fo@HA[CGMs[B~)aCIS9I7Lpβ↓3+↔≥h$'C∞c';∪⊗{7'
∧≠?;SNsWπ⊃∧3@⊗∞>M⊗}w1Q%∧S⊂3(UT¬c≤⊗%&aWDh7j\72v ,e miSinformatiOn  about LISP
PO.[F80$JMA]		HOS DOES A @π⊃β→⊂Aπ⊃β9∂
A	!
A/∨Iλ@E≠=)⊃$λ~∀$HJ~J>hα6*∃∧
J∞Vl*0∃"
Ir¬%ywphU
)tRtg8N	)0w"*
βyytX62P→≠⊂89≠u2qj≤FE()∪dπFS.[F80,JMC]	BkyeR-MgoRe onproofpεACE=khAa∃aSki¬iS←]L~∃!%=-α]7_p`I∃5π:∩∪%ggkKLAG←]
KeMSαs∃βC⊗{?≠MεK9α∞≠⊃AX4U
ZNIuZ→aAdR6∞tHJEβπv!α-β7→9αI∧∧⊗v"	1PU∃	H∀
k8cCαI)T≥h_iw⊗N≥I↔V∂M→vrε|dε7∞l:FN}n4π&F≡@λ=_;YlT≠~<nD≤⎇≤N\⎇≥<LQ"\q.≡9;KK<N
-8w")⎇H≤y.≡9;XlT→>≥∞,<≠{≡~;{D<h_-d⊂2(∞∞[x[]#"Ti_s0+J:⊃6qGε	∩S(;"=≤L≥\xp→~x:⊂'Y⊂)tc[pP,4H9x2rXtεE)Rcf`W⊗c≤_⊗∩&anDBigadPf⊂!gS)bhjQe!biH'c⊂!Sd¬PUTER TEAHNOLOGY - forSigma xi
SLIDE,[F80,JMC]		Slides for SAn Diedπ↑Ai¬YV~∃M∨πββ0Y7p@Y∃≠πt∪IeC→hA←L↓aCaKHAM←d↓β[Ke%GC\AMGSK]QSgh~)'!βπ∀]7p@Y∃≠πt∩∪!e=a←gC1fAM←HAgaC
JAKqAY←eCQS←\AA←YSGd~∃')¬→→~]mp`Y)≠π:∪
←]mKIgCiS=\AoSQPA'i¬YY[C8@ZAG=YYKGQS←]f↓←LAM∃Cike∃f~∃'Q+	≤97p`1∃≠π:%a←gg%EYrA%]iKe∃giS]≤ALp`↓gikI∃]if~))⊃+%=.]≥'mp`Y)≠π:~))∨!∪]7p@Y∃≠πt~∃-β9π∨*\I7p`1∃≠π:%'π%∪	
AmKIgS←\↓←LA-¬]G←kYKdAC	gieC
h∩∃m¬]G←kmLp`Y)[G:∩%CEgiICGhA→←dA-¬]G←kYKdAa!SY←g=aQrAα;⊃β∞Iβ7↔-#';≤hRZ>9s∩f→aαb*6∞hH&;?&+Mβ≠␈⊃β?}YβK↔6K↔←LhRZ>9uZ→aAdR6∞tHJS←=∧∪??-π∪↔['/;D4*<J2N>pr:Nn3AA2*l~t4*=∩&@$Z%de≥8gβαd)X5hO}-↔&/$}2π>}-6⊗.l8
↓Q@↓Jz;]↑H.'ε(→Z-L<c"AQP1K:n+	)0w"!≤x;Y
≤_8}$[|Hl8⎇;∞O(≤y-l=→#!,9≥Z,<6⎇nε∃~[8kQ"";M}→<h
⎇H≥~T_9≥M≤y(≥≥y<H∞<→<AQP24J	lKP+un%IS0w!_:8\
}]λ_/
;{<d
;][mNX;Yd∞X=~-⎇X;~.O+C"H→4T∪fEP6⊗jW+∩IXw"0-≡\≠|ND_>~-⎇<h≥m≡~λ≥l≥~x8ML(→55H≥~-\;→<n1"P2**∪m+H≠⊗unε∃⊂S0kQ0{sNL8;\d9→~.M;{X-D→→8mL<X=
≥{\h≥Yλ_/
;{<aQ@∧DDY5y⊂)→ts<t[3P0q]4ww9KεA dT('[↔⊗k\_V∩&anD\97{2H9t7z[2∀$V≤97sT≥pv5T_py∀V→94{"J0pq8≠y:∀TK)X∀FB0p	rpor.ax[w81,jic]	axioms fo@HAO←S9NAi↑↓iQJA¬Sea←Ih~¬C%ea←emnpbY)[G:∩%iQJA¬qS←[¬iSGf↓←LAO=S]NAQ↑AiQ∀ACC@↔β?KPhR
εitbNBn;AE2*l~t'≠Ls∪';8∧ε
π≡FBεn-vjπ∧∞Fzπ⊃Q$∀Lhiu∩u(X5]≠ε∃DTl9Q↔⊗/
H
,↑h≤Y,<:9Q,D≥≠h
L=≥→.∧_8[n↑λ⊂Z-l[|Y↓QPR3HitKVj@\_V%∪anDc≤5vP!~w37y→⊂67w→P37`2m
cipcum.sli[w81,jmc]	sli`es fh∂dA
SeGk5gGeSAiS←\↓YKGiUeJ~∃
→β'&97.pb1∃≠π:$∪GfdHlXA/%]iKdbr`B4∃GY←MKI7n`bYU[
:∩α∪
YWgK⊂Ao←e1HACgMk[ai%←\XA≥←S]N↓I←o\0AKiF8~∃G←5[k]7\pbYU5G:∩∪AeCGi%GCXAα;⊃β&C↔?K-#'∂πbβπK∨,k↔;S~βπ∂πNsOQβ≡{77WvKO44T∧6}o∞,U←;ε∃FVN;Q⊂N≡⎇↑π⊗.]g≡OlTππ⊗|-F.j≤&␈/DλλM≥[{:,≥λ_{e\9YZ,=9;]↓Q@∧DD\97sy_vP0w→⊂4z9H1wy9→qz72\yP89≠wsεE_yY→≠⊗{\_V~4¬c]		notes foR the clasS
draft.ax[w81,hhG:$∪IeC→ifA←_Aa←gMSEYr↓kgKMUXACq%←[f~)1$β⊃:Rb%ZUaEdR6∞tL∧WF/,=↔∞∂4λf␈∩λ:3∪∪aQ$4|uiE≥¬:wβ
DαS0kQ<X;LM{(∪
≡|λ→N]X⎇~-⎇\c"LMβy6p]-{\_K56qnBDh94[1tx6→yP7`& pext fgrmattine languageq like TEX, PEB, SCRIBE
d¬eC[∀]Cq7\pbYU5G:∪CaS←[f↓MP∨I∧3Cπ↔,ε2π/=→f:ε≡:6N>m\Vw Q)∧⎇∧Z!du≥:wβ
d)X5hN
yV*πL↑&nNl≥G_h-≤F.∂;>sC
M-V≥h⊃≡&∞vM⎇RεNL\↔~ε|dπ>NnLW∩αwε⊂hV<X∞,-x+]←⊗⎇nε∃~[8kQ11QHXu∩5HT⊂∧g*⊃i aj∩hεE USE OF LARGE CHARACTER SETS}
KNOW.∩YW81,JMC]		Formalization of two puzzles invo@1mS]Nαβ ≡v}⎇F.ε|QPV↑mzuO;ε∃FV@8w"!≥|Z9m≥X;λ
-αqP5[7{v"Y3rP0↑4wvyH0s2≥2y9d[w⊂4`. FOL
konoli[w81(jmc]	↓commentpεA←\↓↔←]←1SGJOLAaCaα+@$f;∨W
[]aEd¬&n≥Q⊃⊗/ε≡>F.n⎇Mv =8x;∧<≤∀M|8zλ∞MβP70]:y0vλ60w3]psrFB& ibT↔-kLV!&aWDDqx→qzv0]4ww9H0q7z]⊂17vX⊂87{Yy2r≠0yry≤FE&$Th↔$g∩mk\λK%&anCE2pz~9qm{N_V56XnDDx≤7x7yXv⊂37\⊂6wr~s<tw→P:42H6pz4→vpz4Xpv⊂)Xtrw1YyP6pZ7yεE≠tw2i≤m{\_K56qnBDvtw→y9P4[⊂"7w→z9uFB4sr0[-{\_K56qnBDr2w~sy0z~w3P&[r0v⊂≠4πgiC
`≥←9[←]7\pbYU5G:∩∪9←iKf↓IP∨I∧c↔∂S-∪∃βSzβ3 >⎇_2π≡]]⊗v∂$ε∪KC∀λ	L\HC!)tKP+un∧%IS0w!⊃8{s-\8π:⊂∨1ty1]vyq`2iption of a diSjqfc@QS←]x4∃∨$]A%
7∞`bY¬≠
:∩βG%`∂Wo≠∂K'π#'?9πβC??2β'9α4z04∧GO←⎇[]aEdS7∞tHH'Cπ≤ε7>␈,N2ε6} ε/∂]~εn.nAPWπ,↑bvg>7;C∃I&n≥Q→⊗rπ
L⊗≡*∞,W6/.8Rε}d∩εf≡>@hU~XU≥$∃k5+C∃I$l≥Q_G⊗∞nDπ∂.↑>FN}ml⊗O⊗Tf␈∩
mvrπ,↑fN/qQ'∂.↑>FM←wε∩fV\;PHH≤≡V/∨M≥vvv≥≡&*ε≤-w/"∞,W6N↑tε}2∞≡V/∨M≥vvv≥≡&/_Q*&∂>N;7;C∃I&n≥Q⊃⊂Nv}LW~ε⎇d¬⊗∂⎇N2?~∧(∩¬&]w↔J
xb∧W↑>FN≡T!PU∀Y~D-∩h_%≥]wε∩dTX;PM⊗]≡F/∩∞L⊗fXQ.'¬←wε∩fV\;PHLm}F/~
⎇bε
∞,V∂≡⎇m⊗v:∞∞&}?,≥PhW<=⊗∞'k>sC
M-V≥h⊃~6≡N]nFN6≤4∧∞'m≤6*εm}"π&T¬⊗.≤|⊗r∧≤MVNv≡>G⊗∂M≥vph.<S∃←wε∩fV\;PHNm}F/~mw∩¬8V"ε↔↑=⊗v/>1PW∨≤6*s+>sC
M-V≥h⊃_6}n\]g'~
⎇bεfNtε'⊗≤nBε}d∞Gε∞n>ε␈↔L≡FN}d∞F.≡
mvf}␈⊃PW∨≤6*wL←¬←;ε∃FVn;Q⊂LF≥lF␈/Dλf␈∩

w/⊗l]Ff*∞>ε∞≡T6}vl↑&.v<QPU≥λ_4*u:wβ
d)X5hH→mw&/4f␈∩

w/⊗l]Ff*∞>ε∞≡T6}vl↑&.v<QPW∨≤6-←wε∩fV\;PHH≥≤F.∂4f␈∩accomp[s81,jmc]		JMC accomplishments for 1981 ARPA proposal
aiphil[s81,jmc]		Impact of research in ai on philosophy
ANAL2.[S81,JMC]		ANALYST
ANALYS[s81,jmc]		Preliminary description of ANALYST
ARPA.PUB[S81,JMC]	proposal boilerplate
arpa[s81,jmc]		1981 ARPA proposal material
CBCL.[S81,JMC]		ANSWERS TO STAN ROSENSCHEIN'S QUESTIONS + SUPPLEMENT
COHEN.[S81,JMC]		Comments on "Understanding Natural Kinds: Part I"
			by Benjamin Cohen, draft
elepha.ax[s81,jmc]	Axioms for multiplication by addition in ELEPHANT
FR.[S81,JMC]		Formal reasoning proposal
FR79.[S81,JMC]		Old formal reasoning proposal
FR81.PUB[S81,JMC]	formal reasoning proposal material
FR81.[S81,JMC]		Formal reasoning material
INTRO[s81,jmc]		Draft introduction to 1981 ARPA proposal
PLAY.LSP[S81,JMC]	simple game player
scienc[s81,jmc]		Bias in Science articles and headlines
TIM81.[S81,JMC]		LISP Timing Evaluation Project
Summer 1981 files

advice[e81,jmc]		Advice to Earthmen
ALAIN.[E81,JMC]		script of Colmerauer session with prolog
apply.ax[e81,jmc]	EKL axioms for apply and eval for making recursive function defs
barrel[e81,jmc]		Barrel and slot simulated multi-processor
BOSS.[E81,JMC]		mailing list for Pournelle White House computing interest
cerf.pro[e81,jmc]	draft proposal to Cerf to support verification work
COL1.[E81,JMC]		prolog coloring program
collec.pr[e81,jmc]	prolog program collecting the p(X) into a list
color.ax[e81,jmc]	discussion of axioms for coloring maps
CONTEX.[E81,JMC]	Comments on Context plan
COPY.PPR[E81,JMC]	copy isthe identity function
COPY.PRF[E81,JMC]	copy is the identity function
ekl.not[e81,jmc]		Comments on ekl
elepha.sum[e81,jmc]	Summary of Elephant paper for POPL
equip.mem[e81,jmc]	SOME CONSIDERATIONS ON COMPUTER EQUIPMENT
EVAL.AX[E81,JMC]	axiomatization of eval so defs will be truly defs
eval.pr[e81,jmc]	original prolog program for eval
eval2.pr[e81,jmc]	prolog program for eval using cuts to get unique answer
eval3.pr[e81,jmc]	prolog program for eval using no cut but or and friends
examp1.prYe81jmc]	examples od∧Aae=YWNAAe←Oe¬[f~∃→KCikI3Jpb1U[G:$∪
KCQkeKf↓←LAg%icCi%←]f~)MeC]
K7JpDYU[Gt∩∪)e¬]gGe%aiS←8A←LAM←[JA9←iKf↓Me←Z↓
eK]
PAie%`~∃
Iλ]!I7
pb1∃≠π:%!e←Y=JAG←1←eC]≤Aae←≥eCZAUcS@;8∧∧7⊗\@w
ε≤LVλh,n'π⊗↑;6+C∃I&n≥Q⊃∀l
*8TLdHZ2¬≥λXT≤B
Ir∧5(Yd≤B
YdM4X*4M%∀
¬∀-9_D,uJ1PTD→IBttzK4+C∃I$l≥Q→v66≤=⊗∞g46}v<↑&v.D∞vO&∧∞&/6≤↑vNvt∞↔.∂>M⊗}vl≥↔⊗/1Q&Nw>
↔¬↑Wα∩fV\;PHL≥n7εO,≡FN}l≥Bεf\:G/⊗T∞FzεlZr¬∨L≥f6␈,Dπ∂'\LVw'1Q$LUhZ5"tj;4+C∃I$l≥Q≥⊗w6↑>Fn.nDε∞πm_6(h-<⊗Frn∞%↑+∧∃FFN;Q∃&/>Dε}2	<Vr∧<≥εr?4∧$NwL↑&nO>9⊗}r¬Pε∞∨Mz'4~;@
∞Y{∪l@Q
@-]←o7∀pbYU5G:∩∪IKmCgαK;≥αn{;Cπ?+∃∨Mε[;/←d∧V&>Tλ↔FN⎇↑0hVα};nMβP∞pub[e8DYUKGt∪mKeMS←\Aα{⊂∩¬,X7/↔=_
LT∀≤[l@y0vyH0yP#~y9z orde@H@\\\4⊃→∪'@Yβ!\)aE2Tjεt',¬6bεM_n∧_:~-⎇<c"II4tJ
∀Vq'ε+∩S(≠"90∃[⊂64`3p ahioms
LISP.PRF@7∀pbY∃5β:∪K-XAYSM`ACQ%←[fAαK9β'w#↔Kl≥Bε.α{λ@4πrm
λMAPS,BIG[E81,JMC]	@5C`AGα{3 ?-_L@P0w2λ5wsp[9utP≥tz4 nkteS
`≠CAbP≠C∃[∃aEd¬&n≥Q_∞4πlo@≤Aae←α;@⊗∞β<hMβy⊂ #oloring maps
@5Cag↔∀pbYUαk∞t$LkπAβ≤¬vf@|Z0↔→β and p	QJ↓↔←oC1`∂/%∧∧F}∨N-⊗v(Q)T-∧∃iu$e8Wβ
@⊂¬&aWDiai∩a"P+→y9t`/n of StalLma`≤~)[@↔S
[∃aEd¬&n≥Q⊃∀={;9-n≤h⊂↔[⊂)z0[46pw	yP&bU P8 !per
mudtiv[e(DYU@7≥h$&7.cS'Cd∧RπX;∃,\λ→P~[1z4`/ns i@8A→β'@~∃@7.cS&@<Wβ
@~[8kQ ∧h)≠x7p∪@¬YfAMα{@∩ε↑]G&J↑λM|y<p→Zw3P )n S-DA→&≥$&←|ε&f"λ¬x.⊂ 	I.
`∨]∃oCs7∀pbYUαk∞t∧L∧⊗'Xπq`!ti`≥Nαβ?;∃∧εv∂J∞8≤y(⊂⊗Zyyt`/ns
PLπ')!<X
BJ\)aE2Tj≥h≤∧⊂↔\βtpo@9K[K]P@ZAaβ∪?π⊗ceα∂|¬Fn<X=,↑Ix	FBαque@IrP≠C∃[∃aEd¬&n≥Q~↔.<Z0∩\β about p@I←Y←N4⊂OC∞≠⊗o∃β%MXεqnBDa6 !qt f@=`	αs⊗∪?πK ∧εNrhλ.m|H⊂↔Yα sp@¬GB
∃M)β)LX
BJ\)aE2Tj≥h≤≤F@,8y0↔_tryP≠pε s@QCiKf4⊂OW↔3'Z@<Wβ
@~[8kQ ∧ijT+$k S⊂ c*⊃i⊂'*PβH	βHAβ))¬∞-α|qαRλT¬,T~HT"¬8¬⊂*HαiFE≥90w9\↔2yiVp¬0⊂@λ¬F@-αqfDQyyp|H5w⊂ 4p¬C@;≥β?KS∂#'?8hSe 6≤ε⊗lW+⊂∃≠qnDDQeb⊂ !xigms f`∨dαβ⊂⊗@|[<d
βs⊂,H1wvq~w0r7\α	α